Boolean algebra theorem
Boolean algebra theorem 词典解释
形容词布尔代数定理
Boolean algebra theorem 双语例句
Theorem 3 In the theory of Boolean algebra without atomic elements to decide a sentence with length n the Turing time and space spent in the procedure is in the exponential degree of 22 cn.
定理3无原子布氏代数的一个长度为n的语句的判断过程所消耗的Turing时间和空间都是属于22cn指数级。
With proving the isomorph between the function matrix algebra systems and the Boolean algebra s disjunction-conjunction systems, a method of extending the function matrix is proposed, and the expanding theorem of the extended function matrix is proven.
提出了功能矩阵的概念,在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上,对功能矩阵进行扩展,并证明了扩展功能矩阵的展开定理;利用扩展功能矩阵逐步展开与约简,实现了功能的求解算法。
Boolean algebra theorem
相关单词辨析
这组词都有“原理、原则”的意思,其区别是:
law: 指一直公认的。陈述各种现象的条理或关系的公理或定理等。
principle: 普通用词,含义广。指作判断的基础或行动的普通准则;也指自然科学的规律。
theorem: 多指经过推理或演算能得到证明的原理、定理或定律。
fundamental: 通常指原理、原则。