《數理邏輯與集合論》是2001年北京希望電子出版社出版的圖書，作者是楊明、王宏。
基本介紹
內容簡介,目錄,
內容簡介
本書是清華大學計算機系列教材《數理邏輯與集合論》(第二版)一書的配套教材。
全書分為兩大部分：第l部分是主教材《數理邏輯與集合論》(第二版)各章的內容精要與學習指導，包括主教材中的基本概念、基本公式、定義、定理及完成習題所涉及的內容，相當於主教材內容的精華與複習提綱。第2部分是主教材相應章節的習題解答，附有主教材全部習題的參考解答或證明。部分習題除給出詳細解答或證明過程外，還列出解題思路、提示，容易出現的錯誤和多種解法等。書中注重學習方法與邏輯思維能力的培養和訓練，並照顧到不同需求和不同層次的讀者。
本書讀者對象為大專院校計算機系或相關專業的師生，也可供從事離散數學、計算機科學、人工智慧、計算語言學等領域的自學者和科技人員參考。
目錄
第一部分 內容精要
第1章 命題邏輯的基本概念
第2章 命題邏輯的等值和推理演算
第3章 命題邏輯的公理化
第4章 謂詞邏輯的基本概念
第5章 謂詞邏輯的等值和推理演算
第6章 謂詞邏輯的公理化
……
第二部分 習題解答
第1章 習題解答
第2章 習題解答
第3章 習題解答
第4章 習題解答
第5章 習題解答
第6章 習題解答
……
參考文獻
