離散數學典型題解析與實戰(zhàn)模擬

解析篇
第一章 集合
　1.1 集合的表示及其運算
　　 1.1.1 復習提要
　　 1.1.2 典型題解
　　 1.1.3 習題及解答
　1.2 自然數和歸納法
　　 1.2.1 復習提要
　　 1.2.2 典型題解
　1.3 笛卡爾乘積
　　 1.3.1 復習提要
　　 1.3.2 典型題解
　　 1.3.3 習題及解答
第二章　二元關系
　2.1 關系
　　 2.1.1 復習提要
　　 2.1.2 典型題解
　　 2.1.3 習題及解答
　2.2 關系的合成和閉包
　　 2.2.1 復習提要
　　 2.2.2 典型題解
　　 2.2.3 習題及解答
　2.3 相容關系和等價關系
　　 2.3.1 復習提要
　　 2.3.2 典型題解
　　 2.3.3 習題及解答
　2.4 序關系
　　 2.4.1 復習提要
　　 2.4.2 典型題解
　　 2.4.3 習題及解答
第三章　函數
　3.1 部分函數
　　 3.1.1 復習提要
　　 3.1.2 典型題解
　　 3.1.3 習題及解答
　3.2 函數的合成與函數的逆
　　 3.2.1 復習提要
　　 3.2.2 典型題解
　　 3.2.3 習題及解答
　3.3 基數及基數代數
　　 3.3.1 復習提要
　　 3.3.2 典型題解
　　 3.3.3 習題及解答
第四章　命題邏輯
　4.1 命題和邏輯聯(lián)結詞
　　 4.1.1 復習提要
　　 4.1.2 典型題解
　　 4.1.3 習題及解答
　4.2 合式公式
　　 4.2.1 復習提要
　　 4.2.2 典型題解
　　 4.2.3 習題及解答
　4.3 等從和蘊含
　　 4.3.1 復習提要
　　 4.3.2 典型題解
　　 4.3.3 習題及解答
　4.4 范式和判定問題
　　 4.4.1 復習提要
　　 4.4.2 典型題解
　　 4.4.3 習題及解答
第五章　謂詞邏輯
第六章　自然推理系統(tǒng)
第七章　圖論
……
實戰(zhàn)篇