逻辑代数

One of them is that it is not decidable and the other is that all the task knowledge in it has to be defined on an abstract logic level so it can not describe the concrete attributes of tasks.

其中，计算逻辑属于交互计算理论[4]，进程代数主要描述进程之间的通信，属于并发计算理论，两者都不太适合描述主体之间的资源交互。

Monadic Boolean algebras also have an important connection to modal logic.

一元布尔代数还与模态逻辑有重要联系。

Chapter Eight concludes the achievement of this dissertation, and some problems will be answered through more discussions. To sum up, this dissertation argues that Liber Abaci has three kinds of features, i.e., a rich content Mathematic, a variety of mathematics cultural exchange, and the dissemination diversify.

斐波那契注重问题求解，以设计出尽量简单的算法求出解答为目标，利用欧几里得《原本》定理进行几何证明代数方法合理性的过程中，不追求逻辑论证的完美，而是凭藉巧妙的几何图形构造，简化计算过程，从而得到问题的解答。

In this system, the lattic structure is different from Boolean algebra, the implication operator → is just the Kleene Dienes operator R KD .

研究赋值格为非线性序，其格结构不同于Boole代数，而蕴涵算子→取Kleen－Dienes算子RKD的一种新的6值逻辑系统K16的语义理论，得到若干结果

Based on ordered gray-scale erosion,an optical one-rail one-channel cellular arrayhas been suggested.

在灰度腐蚀形态学象代数的基础上，提出了一种光学单轨单通道的细胞逻辑阵列的实现方案。

Base on the established lattice-valued logic system with truth-value in lattice implication algebra, lattice-valued resolution method of which are discussed.

本文在已构建的基于格蕴涵代数的格值逻辑系统的基础之上，探讨了其中的归结推理的理论与方法。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。