| 用波动方法证明元函数的正确性定理 |
| |
| 引用本文： | 印鉴,汤庸.用波动方法证明元函数的正确性定理[J].中山大学学报论丛,1996(6). |
| |
| 作者姓名： | 印鉴 汤庸 |
| |
| 作者单位： | 中山大学计算机科学系(印鉴)，广东工业大学计算机科学系(汤庸) |
| |
| 基金项目： | 广东省自然科学基金（930039）资助项目 |
| |
| 摘 要： | 以计算逻辑为理论基础，采用波动方法证明了计算逻辑中的一个重要定理——元函数的正确性定理．
|
| 关 键 词： | 计算逻辑，波动，元函数 |
Proving the Correctness of Meta fuction by Rippling out Tactic |
| |
| Yin,Jian.Proving the Correctness of Meta fuction by Rippling out Tactic[J].Supplement to the Journal of Sun Yatsen University,1996(6). |
| |
| Authors: | Yin Jian |
| |
| Institution: | Yin Jian Department Computer Science,Zhongshan University,Guangzhou 510275 Tang Yong |
| |
| Abstract: | In this paper, based on computational logic and using a method of rippling out, we prove an important theorem in computational logic the correctness of meta fuction |
| |
| Keywords: | mechanical theorem proving rippling out meta fuction |
| 本文献已被 CNKI 等数据库收录！ |
