| 微机证明系统的设计与实现 |
| |
| 引用本文： | 周宗博.微机证明系统的设计与实现[J].重庆邮电学院学报(自然科学版),1999(4). |
| |
| 作者姓名： | 周宗博 |
| |
| 作者单位： | 华西医科大学计算中心!成都，610041 |
| |
| 摘 要： | 在微机上用ＰＡＳＣＡＬ语言实现的命题演绎机器证明系统为背景，说明实现该证明系统的主要技术和技巧。证明了系统的算法和总体设计、公理模式和归约法则的建立、符号的处理、存储结构的选取、联结词消除以及输入输出处理等。对用微机来实现命题（谓词）证明系统提供了具有参考价值的意见。
|
| 关 键 词： | 机器证明系统 公理模式 算法设计 |
Design and Accomplishment of Micro computer Proof System |
| |
| ZHOU Zong,bo.Design and Accomplishment of Micro computer Proof System[J].Journal of Chongqing University of Posts and Telecommunications(Natural Sciences Edition),1999(4). |
| |
| Authors: | ZHOU Zong bo |
| |
| Abstract: | This thesis explains chief technique and skill to construct the proposition deduction proving system on micro computer, and provides a worthy proposal about algorithm design, axioms mode and reduction rule, symbol processing, memory structures, joint phrase cancellation, input and output methods, and so on. |
| |
| Keywords: | computer proof system axiomatic model algorithm design |
| 本文献已被 CNKI 等数据库收录！ |
|
