第1章　命題邏輯
1.1　命題與聯(lián)結(jié)詞
1.2　命題公式
1.3　等值演算
1.4　范式
1.5　聯(lián)結(jié)詞的完備集
1.6　命題邏輯的推理演算
1.7　命題邏輯在計算機(jī)科學(xué)中的應(yīng)用
小結(jié)
習(xí)題
第2章　謂詞邏輯
2.1　個體、謂詞和量詞
2.2　謂詞公式
2.3　等值演算
2.4　范式
2.5　謂詞邏輯的推理演算
2.6　謂詞邏輯在計算機(jī)科學(xué)中的應(yīng)用
小結(jié)
習(xí)題
第3章　非經(jīng)典邏輯簡介
3.1 引言
3.2　模態(tài)邏輯
3.3　多值邏輯
3.4　非單調(diào)邏輯
小結(jié)
習(xí)題
第4章　集合
　4.1　集合及其表示
　4.2　集合的運算
　4.3　文氏圖
　小結(jié)
　習(xí)題
第5章　關(guān)系
　5.1　關(guān)系及其表示
5.2　關(guān)系的性質(zhì)
5.3　關(guān)系的運算
5.4　等價關(guān)系
5.5　偏序關(guān)系
5.6　關(guān)系在計算機(jī)科學(xué)中的應(yīng)用
小結(jié)
習(xí)題
第6章　函數(shù)
6.1 函數(shù)的基本概念
6.2　函數(shù)的性質(zhì)
6.3　函數(shù)的運算
6.4　集合的特征函數(shù)
6.5　集合的基數(shù)
6.6　經(jīng)典集合的擴(kuò)展
小結(jié)
習(xí)題
第7章　代數(shù)結(jié)構(gòu)
7.1　代數(shù)結(jié)構(gòu)及其性質(zhì)
7.2　同態(tài)與同構(gòu)
7.3　同余與商代數(shù)
小結(jié)
習(xí)題
第8章　群
　8.1　群及其性質(zhì)
　8.2　置換群與循環(huán)群
　8.3　陪集和拉格朗日定理
　8.4　正規(guī)子群與群同態(tài)基本定理
　8.5　群在計算機(jī)科學(xué)中的應(yīng)用
　小結(jié)
　習(xí)題
第9章　布爾代數(shù)
9.1　概述
9.2　格
9.3　布爾代數(shù)
9.4　布爾表達(dá)式與布爾函數(shù)
9.5　布爾代數(shù)的同態(tài)與同構(gòu)
小結(jié)
習(xí)題
第10章　圖的基本概念
第11章　特殊圖
參考文獻(xiàn)