数理逻辑基础
- 网络Fundations of Mathematical Logic
数理逻辑基础-
数列节奏打破了规律的节拍控制，体现为数理逻辑基础上的音值组合。
Series of rhythm to break the laws of the beat control , reflecting the combination of the number of mathematical logic based on duration .
-
1879年《概念文字》的出版，标志着数理逻辑的基础部分&命题演算和谓词演算正式建立。
In 1879 , the publication of " Concept Writing " marks the foundation of propositional calculus and the predicate calculus & the basic part of mathematical logic .
-
在数理逻辑理论的基础上，设计了用于触发器模型的复杂触发条件的优先级计算方法。
Based on the mathematical logic theory , this paper designed priority calculation method which used for complex trigger conditions in trigger model .