《集論與邏輯》是2003年科學出版社出版的圖書，作者是沈恩紹。
基本介紹
- 作者：沈恩紹
- 出版社：科學出版社
- 出版時間：2003年08月01日
- 定價：18 元
- ISBN：9787030110473
內容介紹,作品目錄,
內容介紹
本書由基礎集論與經典(一階)邏輯兩部分內容組成，為高標準的計算機科學專業(本科)教材。
集論部分的範圍與常規教材大體相似，區別在於相關內容的展開方式與深度。這裡採用的“非標準”模式可稱為“經典集論的公理化修正版”：強調公理化思想及構造性技巧；對“關係演算”及“歸納與遞歸”兩個板塊做了較深入的處理；計算機科學中有用的若干組合和圖論中的原理與方法被有機地嵌入到集論的框架之中；以較直觀的方式給
作品目錄
序言
第一篇 基礎集論
第一章 集合的基本關係與運算
1?1集合的表示:內涵與外延
1?2集合的運算、構集公理
第二章 關係與函式
2?1基本概念、關係的運算
2?2分劃、等價關係與映射
2?3偏序與樹
2?4Cantor的對角線論證法、從二元關係的矩陣表示及理髮師悖論談起
2?5多元關係、關係資料庫的一個實例
第三章 有限集與無限集
3?1無窮公理與自然數、歸納與遞歸
