集論與邏輯

內(nèi)容概要

本書由基礎(chǔ)集論與經(jīng)典(一階)邏輯兩部分內(nèi)容組成，為高標(biāo)準(zhǔn)的計(jì)算機(jī)科學(xué)專業(yè)(本科)教材。
    集論部分的范圍與常規(guī)教材大體相似，區(qū)別在于相關(guān)內(nèi)容的展開方式與深度。這里采用的“非標(biāo)準(zhǔn)”模式可稱為“經(jīng)典集論的公理化修正版”：強(qiáng)調(diào)公理化思想及構(gòu)造性技巧；對(duì)“關(guān)系演算”及“歸納與遞歸”兩個(gè)板塊做了較深入的處理；計(jì)算機(jī)科學(xué)中有用的若干組合和圖論中的原理與方法被有機(jī)地嵌入到集論的框架之中；以較直觀的方式給

書籍目錄

序言
第一篇 基礎(chǔ)集論
第一章 集合的基本關(guān)系與運(yùn)算
1?1集合的表示:內(nèi)涵與外延
1?2集合的運(yùn)算、構(gòu)集公理
第二章 關(guān)系與函數(shù)
2?1基本概念、關(guān)系的運(yùn)算
2?2分劃、等價(jià)關(guān)系與映射
2?3偏序與樹
2?4Cantor的對(duì)角線論證法、從二元關(guān)系的矩陣表示及理發(fā)師悖論談起
2?5多元關(guān)系、關(guān)系數(shù)據(jù)庫(kù)的一個(gè)實(shí)例
第三章 有限集與無(wú)限集
3?1無(wú)窮公理與自然數(shù)、歸納與遞歸

圖書封面

圖書標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    集論與邏輯 PDF格式下載

---