您要查找的是不是:
- 单体二阶Lukasiewicz逻辑 monadic second-order Lukasiewicz logic
- Lukasiewicz逻辑 Lukasiewicz logic
- Lukasiewicz逻辑系统 Lukasiewicz logic system
- 第二部分:利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式。 In the second chapter, the accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function.
- 单体 monomer
- 逻辑 logic
- 三值Lukasiewicz逻辑系统 lukasiewicz 3 - valued logic systems
- 二阶 second order
- 单体的 monomeric
- 逻辑的 logistic
- 二阶导数 second derivative
- Lukasiewicz蕴涵算子 Lukasiewicz implication operator
- 三值Lukasiewicz代数 3-valued Lukasiewicz algebra
- 染色单体 chromatid
- 乘给定元素的二阶行列式是删去该元素出现的行和列而得到的。 The second-order determinant that multiplies a given element is found by crossing out the row and column in which that element appears.
- 逻辑电路 logic circuit
- 单体雄蕊 monadelphous stamen
- 逻辑关系 logical relationship
- 贝纳单体 Benard cell
- 数理逻辑 symbolic logic