滿額折
應用邏輯(原書第2版)（簡體書）
相關商品
商品簡介
目次
商品簡介
本書是介紹數理邏輯的基礎教材，不僅覆蓋了傳統的基本內容(語法、語義、可靠性、完全性和緊致性)，而且很大一部分是討論非傳統的內容，諸如消解定理證明、邏輯式程序設計和非經典邏輯(模態邏輯和直覺主義邏輯)，而這些主題在現代計算機科學中變得越來越重要。
本書講述的內容廣泛，深入淺出，簡明易懂，適合作為計算機科學系和數學系高年級本科生以及低年級研究生的教材。
本書講述的內容廣泛，深入淺出，簡明易懂，適合作為計算機科學系和數學系高年級本科生以及低年級研究生的教材。
目次
出版者的話
專家指導委員會
譯者序
中文版序
前言
緒論
第一章 命題邏輯
第一節 序和樹
第二節 命題、聯結詞和真值表
第三節 真值指派和賦值
第四節 命題演算中的表證明
第五節 表證明的可靠性和完全性
第六節 前件演繹和緊致性
第七節 公理方法
第八節 消解
第九節 加細消解
第十節 線性消解、Horn子句和PROLOG
進一步閱讀建議
第二章 謂詞邏輯
第一節 謂詞和量詞
第二節 語言：項和公式
第三節 形成樹、結構和列表
第四節 語義：含義與真值
第五節 PROI；OG程序解釋
第六節 證明：完全系統表
第七節 表證明的可靠性和完全性
第八節 公理化方法
第九節 前束范式和斯科朗化
第十節 厄布朗定理
第十一節 合一
第十二節 合一算法
第十三節 消解
第十四節 加細消解：線性消解
進一步閱讀建議
第三章 PROLOG
第一節 SLD一消解
第二節 執行：搜索與回溯
第三節 執行的控制：cut
第四節 PROLOG程序終止的條件
第五節 相等
第六節 因失敗而否定
第七節 否定和非單調邏輯
第八節 可計算性與不可判定性
進一步閱讀建議
第四章 模態邏輯
第一節 可能性與必然性；知識或信念
第二節 框架和力迫
第三節 模態表
第四節 可靠性和完全性
第五節 模態公理和特殊的可達關係
第六節 公理化方法
進一步閱讀建議
第五章 直覺主義邏輯
第一節 直覺主義與構造主義
第二節 框架和力迫
第三節 直覺主義表
第四節 可靠性和完全性
第五節 可判定性和不可判定性
第六節 比較指南
進一步閱讀建議
第六章 集合論基礎
第一節 集合論中的一些基本公理
第二節 集合的布爾代數
第三節 關係、函數和冪集公理
第四節 自然數、算術和無窮
第五節 替換、選擇和基礎
第六節 謂詞邏輯中的策梅洛一弗蘭克爾集合論
第七節 基數：有窮和可數
第八節 序數
第九節 序數算術和超窮歸納
第十節 超窮遞歸、選擇和有秩全域
第十一節 基數和基數算術
進一步閱讀建議
附錄A 歷史回顧
附錄B 一個家譜數據庫
參考文獻
專家指導委員會
譯者序
中文版序
前言
緒論
第一章 命題邏輯
第一節 序和樹
第二節 命題、聯結詞和真值表
第三節 真值指派和賦值
第四節 命題演算中的表證明
第五節 表證明的可靠性和完全性
第六節 前件演繹和緊致性
第七節 公理方法
第八節 消解
第九節 加細消解
第十節 線性消解、Horn子句和PROLOG
進一步閱讀建議
第二章 謂詞邏輯
第一節 謂詞和量詞
第二節 語言：項和公式
第三節 形成樹、結構和列表
第四節 語義：含義與真值
第五節 PROI；OG程序解釋
第六節 證明：完全系統表
第七節 表證明的可靠性和完全性
第八節 公理化方法
第九節 前束范式和斯科朗化
第十節 厄布朗定理
第十一節 合一
第十二節 合一算法
第十三節 消解
第十四節 加細消解：線性消解
進一步閱讀建議
第三章 PROLOG
第一節 SLD一消解
第二節 執行：搜索與回溯
第三節 執行的控制：cut
第四節 PROLOG程序終止的條件
第五節 相等
第六節 因失敗而否定
第七節 否定和非單調邏輯
第八節 可計算性與不可判定性
進一步閱讀建議
第四章 模態邏輯
第一節 可能性與必然性；知識或信念
第二節 框架和力迫
第三節 模態表
第四節 可靠性和完全性
第五節 模態公理和特殊的可達關係
第六節 公理化方法
進一步閱讀建議
第五章 直覺主義邏輯
第一節 直覺主義與構造主義
第二節 框架和力迫
第三節 直覺主義表
第四節 可靠性和完全性
第五節 可判定性和不可判定性
第六節 比較指南
進一步閱讀建議
第六章 集合論基礎
第一節 集合論中的一些基本公理
第二節 集合的布爾代數
第三節 關係、函數和冪集公理
第四節 自然數、算術和無窮
第五節 替換、選擇和基礎
第六節 謂詞邏輯中的策梅洛一弗蘭克爾集合論
第七節 基數：有窮和可數
第八節 序數
第九節 序數算術和超窮歸納
第十節 超窮遞歸、選擇和有秩全域
第十一節 基數和基數算術
進一步閱讀建議
附錄A 歷史回顧
附錄B 一個家譜數據庫
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。