數理邏輯與機器證明

內容介紹

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