●第一篇數理邏輯
第一章命題邏輯
1-1命題及其表示法
1-2聯結詞
1-3命題公式與翻譯
1-4真值表與等價公式
1-5重言式與蘊含式
1-6其他聯結詞
1-7對偶與範式
1-8推理理論
1-9應用
第二章謂詞邏輯
2-1謂詞的概念與表示
2-2命題函數與量詞
2-3謂詞公式與翻譯
2的約束
2-5謂詞演算的等價式與蘊含式
2-6前束範式
2-7謂詞演算的推理理論
第二篇集合論
第三章集合與關繫
3-1集合的概念和表示法
3-2集合的運算
3-3包含排斥原理
3-4序偶與笛卡爾積
3-5關繫及其表示
3-6關繫的性質
3-7復合關繫和逆關繫
3-8關繫的閉包運算
3-9集合的劃分和覆蓋
3-10等價關繫與等價類
3-11相容關繫
3-12序關繫
第四章函數
4-1函數的概念
4-2逆函數和復合函數
4-3特征函數與模糊子集
4-4基數的概念
4-5可數集與不可數集
4-6基數的比較
第三篇代數繫統
第五章代數結構
5-1代數繫統的引入
5-2運算及其性質
5-3半群
5-4群與子群
5-5阿貝爾群和循環群
5-6置換群與伯恩賽德定理
5-7陪集與拉格朗日定理
5-8同態與同構
……
