數理邏輯與機器證明

《數理邏輯與機器證明》是由科學出版社於1983年11月出版的一本圖書，作者是陸鐘萬。

基本介紹

• 作者：陸鐘萬
• ISBN：9787030019196
• 頁數：186
• 定價：5.00元
• 出版社：科學出版社
• 出版時間：1983年11月
• 裝幀：32開平裝
• 副標題：計算機科學叢書

內容簡介

本書介紹數理邏輯及其在機器證明中的套用.

數理邏輯部分包括緒論、前三章及附錄. 緒論簡要地說明了數理邏輯的研究對象和方法. 前三章分別介紹命題邏輯、一階邏輯以及它們的可靠性和完備性問題. 附錄中闡述了重演式的推理，並且論證了它與自然推理的關係. 第四至第六章是機器證明部分，主要描述與數理邏輯有關的機器證明問題.