|
|||||
|
|
| 一种新的输入格式 | |
| 作者姓名： | 王士铁 |
| 作者单位： | 厦门大学计算机科学系 |
| 摘 要： | 采用消解法的定理证明程序,通常都是按子句格式输入。该格式虽然便于消解,但是它与普通逻辑公式或者日常语句差异皆较大,因此运用时相当不便。 为了兼备日常用语及子句格式的优点,本文提出一种新的输入格式——公式子句格式。简记为FC格式。该格式不仅接近于日常的判断语句,而且不难转换为子句格式, |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||
|
||||||||||||||||
|
||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |