集論與邏輯

集論部分的範圍與常規教材大體相似，區別在於相關內容的展開方式與深度。 集合的基本關係與運算1?1集合的表示:內涵與外延1?2集合的運算、構集公理第二章 關係與函式2?1基本概念、關係的運算2?2分劃、等價關係與映射2?3偏序與樹2?4Can

內容介紹

本書由基礎集論與經典(一階)邏輯兩部分內容組成，為高標準的計算機科學專業(本科)教材。
集論部分的範圍與常規教材大體相似，區別在於相關內容的展開方式與深度。這裡採用的“非標準”模式可稱為“經典集論的公理化修正版”：強調公理化思想及構造性技巧；對“關係演算”及“歸納與遞歸”兩個板塊做了較深入的處理；計算機科學中有用的若干組合和圖論中的原理與方法被有機地嵌入到集論的框架之中；以較直觀的方式給

作品目錄

序言
第一篇 基礎集論
第一章 集合的基本關係與運算
1?1集合的表示:內涵與外延
1?2集合的運算、構集公理
第二章 關係與函式
2?1基本概念、關係的運算
2?2分劃、等價關係與映射
2?3偏序與樹
2?4Cantor的對角線論證法、從二元關係的矩陣表示及理髮師悖論談起
2?5多元關係、關係資料庫的一個實例
第三章 有限集與無限集
3?1無窮公理與自然數、歸納與遞歸