|
题名:
|
数理逻辑与机器证明 / 陆钟万著 , |
|
ISBN:
|
15031·535 价格： CNY1.15 |
|
语种:
|
chi |
|
载体形态:
|
186页 25cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 1983 |
|
内容提要:
|
本书介绍数理逻辑及其在机器证明中的应用。数理逻辑部分包括绪论、前三章及附录。绪论简要地说明了数理逻辑的研究对象和方法。前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题，附录中阐述了重言式的推理，并且论证了它与自然推理的关系。第四至第六章是机器证明部分，主要描述与数理逻辑有关的机器证明问题. |
|
主题词:
|
数理逻辑 |
|
主题词:
|
机器证明 |
|
中图分类法:
|
O141 版次： 5 |
|
主要责任者:
|
陆钟万 著 |