數理邏輯與集合論第二版精要與題解 內容簡介
全書分為兩大部分：第1部分是主教材《數理邏輯與集合論》（第二版）各章的內容精要與學習指導，包括主教材中的基本概念、基本公式、定義、定理及完成習題涉及的內容，相當於主教材內容的精華與複習提綱。第2部分是主教材相應章節的習題解答，附有主教材全部習題的參考解答或證明。部分習題除給出詳細解答或證明過程外，還列出解題思路、提示，容易出現的錯誤和不同的層次的讀者。本書讀者對象為大專院校計算機系或相關專業的師生，也可供從事離散數學、計算機科學、人工智慧、計算語言學等領域自學者和科技人員參考。
數理邏輯與集合論第二版精要與題解 本書目錄
第一部分 內容精要第1章 命題邏輯的基本概念
第2章 命題邏輯的等值和推理演算
第3章 命題邏輯的公理化
第4章 謂詞邏輯的基本概念
第5章 謂詞邏輯的等值和推理演算
第6章 謂詞邏輯的公理化
……
第二部分 習題解答
第1章 習題解答
第2章 習題解答
第3章 習題解答
第4章 習題解答
第5章 習題解答
第6章 習題解答
……
參考文獻
