數(shù)理邏輯與機(jī)器證明
出版時間：1983年11月 出版社：科學(xué)出版社 作者：陸鐘萬
Tag標(biāo)簽：無
內(nèi)容概要
本書介紹數(shù)理邏輯及其在機(jī)器證明中的應(yīng)用.
數(shù)理邏輯部分包括緒論、前三章及附錄. 緒論簡要地說明了數(shù)理邏輯的研究對象和方法. 前三章分別介紹命題邏輯、一階邏輯以及它們的可靠性和完備性問題. 附錄中闡述了重演式的推理，并且論證了它與自然推理的關(guān)系. 第四至第六章是機(jī)器證明部分，主要描述與數(shù)理邏輯有關(guān)的機(jī)器證明問題.
圖書封面
圖書標(biāo)簽Tags
無
評論、評分、閱讀與下載
- 還沒讀過(38)
- 勉強(qiáng)可看(279)
- 一般般(477)
- 內(nèi)容豐富(1978)
- 強(qiáng)力推薦(162)