集論與邏輯：面向計算機科學(xué)

序言
第一篇 基礎(chǔ)集論
第一章 集合的基本關(guān)系與運算
1 集合的表示：內(nèi)涵與處延
2 集合的運算、構(gòu)集公理
第二章 關(guān)系與函數(shù)
1 基本概念、關(guān)系的運算
……
第三章 有限集與無限集
1 無窮公理與自然數(shù)、歸納與遞歸
……
第二篇 經(jīng)典邏輯
第四章 引論
第五章 命題邏輯（PL）
1 PL的句（語）法
2 語義學(xué)——PL公式之語義、PL模型
……
第六章 一階邏輯（FO）
1 自然引入
2 一階語言與一階公式
……