|
|||||
|
|
| 制约系统中Cm形式演算与机械证明的判定算法初步 | |
| 引用本文： | 李树就,周光明.制约系统中Cm形式演算与机械证明的判定算法初步[J].重庆工商大学学报(自然科学版),1988(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(2). | |
| Authors: | Li shujiu Zhou Guangming |
| Institution: | 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 等数据库收录！ | |
| 点击此处可从《重庆工商大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《重庆工商大学学报(自然科学版)》下载免费的PDF全文 | |