具體描述
《數理邏輯引論與歸結原理》講述瞭與邏輯演算有密切關係的Boole代數理論；命題演算與一階謂詞演算理論；歸結原理理論以及多值邏輯演算理論等內容。
著者簡介
圖書目錄
第一章 預備知識
1.1偏序集
1.2格
1.3Boole代數
第二章 命題演算
2.1命題及其符號化
2.2命題演算的語義理論
2.3命題演算的語構理論
第三章 一階謂詞演算的語義理論
3.1一階語言
3.2解釋、邏輯有效公式
3.3邏輯等價
第四章 一階渭詞演算的語構理論
4.1形式係統K&
4.2可證等價關係
4.3前束範式
4.4一階係統K&
· · · · · · (收起)
1.1偏序集
1.2格
1.3Boole代數
第二章 命題演算
2.1命題及其符號化
2.2命題演算的語義理論
2.3命題演算的語構理論
第三章 一階謂詞演算的語義理論
3.1一階語言
3.2解釋、邏輯有效公式
3.3邏輯等價
第四章 一階渭詞演算的語構理論
4.1形式係統K&
4.2可證等價關係
4.3前束範式
4.4一階係統K&
· · · · · · (收起)
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
代數部分有點多餘瞭，但很嚴謹
评分代數部分有點多餘瞭，但很嚴謹
评分代數部分有點多餘瞭，但很嚴謹
评分代數部分有點多餘瞭，但很嚴謹
评分代數部分有點多餘瞭，但很嚴謹
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有