出版社:科学出版社出版日期:1983年11月ISBN:9787030019196作者:陆钟万页数:186页
作者简介
本书介绍数理逻辑及其在机器证明中的应用. 数理逻辑部分包括绪论、前三章及附录. 绪论简要地说明了数理逻辑的研究对象和方法. 前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题. 附录中阐述了重演式的推理,并且论证了它与自然推理的关系. 第四至第六章是机器证明部分,主要描述与数理逻辑有关的机器证明问题.
数理逻辑与机器证明下载
外国儿童文学,篆刻,百科,生物科学,科普,初中通用,育儿亲子,美容护肤PDF图书下载,。 零度图书网
零度图书网 @ 2024