數理邏輯與機器證明 在線電子書 圖書標籤: 數理邏輯 機器證明 數學 計算機 機械化 數理邏輯5 pl jiqizhengming
發表於2024-12-23
數理邏輯與機器證明 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
本書介紹數理邏輯及其在機器證明中的應用.
數理邏輯部分包括緒論、前三章及附錄. 緒論簡要地說明瞭數理邏輯的研究對象和方法. 前三章分彆介紹命題邏輯、一階邏輯以及它們的可靠性和完備性問題. 附錄中闡述瞭重演式的推理,並且論證瞭它與自然推理的關係. 第四至第六章是機器證明部分,主要描述與數理邏輯有關的機器證明問題.
評分
評分
評分
評分
數理邏輯與機器證明 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024