內容簡介
本書是清華大學計算機繫列教材《數理邏輯與集合論》(第二版)一書的配套教材。
全書分為兩大部分：第l部分是主教材《數理邏輯與集合論》(第二版)各章的內容精要與學習指導，包括主教材中的基本概念、基本公式、定義、定理及完成習題所涉及的內容，相當於主教材內容的精華與復習提綱。第2部分是主教材相應章節的習題解答，附有主教材全部習題的參考解答或證明。部分習題除給出詳細解答或證明過程外，還列出解題思路、提示，容易出現的錯誤和多種解法等。書中注重學習方法與邏輯思維能力的培養和訓練，並照顧到不同需求和不同層次的讀者。
本書讀者對像為大專院校計算機繫或相關專業的師生，也可供從事離散數學、計算機科學、人工智能、計算語言學等領域的自學者和科技人員參考。
全書分為兩大部分：第l部分是主教材《數理邏輯與集合論》(第二版)各章的內容精要與學習指導，包括主教材中的基本概念、基本公式、定義、定理及完成習題所涉及的內容，相當於主教材內容的精華與復習提綱。第2部分是主教材相應章節的習題解答，附有主教材全部習題的參考解答或證明。部分習題除給出詳細解答或證明過程外，還列出解題思路、提示，容易出現的錯誤和多種解法等。書中注重學習方法與邏輯思維能力的培養和訓練，並照顧到不同需求和不同層次的讀者。
本書讀者對像為大專院校計算機繫或相關專業的師生，也可供從事離散數學、計算機科學、人工智能、計算語言學等領域的自學者和科技人員參考。
