T007472 数理逻辑与机器证明

书籍:中国图书大辞典:1949-1992第16册工业技术(下) 更新时间:2018-11-09 13:03:45

出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第16册工业技术(下)》第789页(179字)

陆钟万编着。

科学出版社1983年11月版。15.6万字。介绍数理逻辑及其在机器证明中的应用。

数理逻辑部分主要讲述数理逻辑的研究对象和方法,命题逻辑、一阶逻辑以及它们的可靠性和完备性问题,并阐述重言式的推理,论证了它与自然推理的关系。机器证明部分主要描述与数理逻辑有关的机器证明问题。收入“计算机科学丛书”。

分享到: