| 制约系统中Cm形式演算与机械证明的判定算法初步 |
| |
| 引用本文： | 李树就,周光明. 制约系统中Cm形式演算与机械证明的判定算法初步[J]. 重庆工商大学学报(自然科学版), 1988, 0(2) |
| |
| 作者姓名： | 李树就 周光明 |
| |
| 摘 要： | 本文主要讨论制约系统命题演算Cm中形式定理的判定算法,以及现实世界对象事件和对其思考的形式表示。
|
| 关 键 词： | 制约系统 Cm形式演算 机械证明 判定算法 对象事件 |
Cm Form Calculus and Mechanically Proved Elementary Judged Algorithm in Entailment System |
| |
| Li shujiu Zhou Guangming. Cm Form Calculus and Mechanically Proved Elementary Judged Algorithm in Entailment System[J]. Journal of Chongqing Technology and Business University:Natural Science Edition, 1988, 0(2) |
| |
| Authors: | Li shujiu Zhou Guangming |
| |
| Affiliation: | Li shujiu Zhou Guangming |
| |
| Abstract: | This paper mainly discusses formal theorm judged algorithm in entailment system propositional calculus Cm and object events in the actual world with the form of deep thinking that it expresses. |
| |
| Keywords: | Entailment System Formal Caculus Cm Mechanical Proof of Judged algorithm Object event. |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《重庆工商大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《重庆工商大学学报(自然科学版)》下载全文 |
