| 字词 | T007162 定理机器证明 |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | T007162 定理机器证明 刘叙华等编著。 科学出版社1987年10月版。20．4万字。主要介绍定理机器证明的理论基础及重要研究成果。首先介绍命题逻辑与一阶逻辑，然后介绍归结方法及各种改进的方法，模糊逻辑和模糊归结，最后介绍国际上最近提出的几种非归结方法——自然推导法、重写规则法及数学归纳法。 |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。