| 字词 | T007472 数理逻辑与机器证明 |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | T007472 数理逻辑与机器证明 陆钟万编著。 科学出版社1983年11月版。15．6万字。 介绍数理逻辑及其在机器证明中的应用。 数理逻辑部分主要讲述数理逻辑的研究对象和方法，命题逻辑、一阶逻辑以及它们的可靠性和完备性问题，并阐述重言式的推理，论证了它与自然推理的关系。 机器证明部分主要描述与数理逻辑有关的机器证明问题。收入“计算机科学丛书”。 |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。