全國計算機等級考試全真訓練（離散數學）

第1章 數理邏輯
1.1 考試要點
1.1.1 命題及其符號化
1.1.2 命題公式及其分類
1.1.3 命題邏輯等值演算
1.1.4 范式
1.1.5 命題邏輯推理理論
1.1.6 謂詞與量詞
1.1.7 謂詞公式與解釋
1.1.8 謂詞邏輯等值演算與前束范式
1.1.9 謂詞邏輯推理理論
1.2 例題詳析
1.2.1 選擇題
1.2.2 填空題
1.2.3 論述題
1.3 習題
1.3.1 選擇題
1.3.2 填空題
1.3.3 論述題
1.3.4 習題參考答案
第2章 集合論
2.1 考試要點
2.1.1 集合及其表示
2.1.2 集合的運算
2.1.3 有序對與笛卡兒積
2.1.4 關系及其表示法
2.1.5 關系的運算
2.1.6 關系的性質
2.1.7 關系的閉包
2.1.8 復合關系與逆關系
2.1.9 等價關系與偏序關系
2.1.10 函數及其性質
2.1.11 反函數與復合函數
2.2 例題詳析
2.2.1 選擇題
2.2.2 填空題
2.2.3 論述題
2.2.4 解答題
2.3 習題
2.3.1 選擇題
2.3.2 填空題
2.3.3 論述題
2.3.4 解答題
2.3.5 習題參考答案
第3章 代數系統(tǒng)
3.1 考試要點
3.1.1 二元運算及其性質
3.1.2 代數系統(tǒng)及其子代數和積代數
3.1.3 代數系統(tǒng)的同態(tài)與同構
3.1.4 半群與群
3.1.5 環(huán)與域
3.1.6 格與布爾代數
3.2 例題詳析
3.2.1 選擇題
3.2.2 填空題
3.3 習題
3.3.1 選擇題
3.3.2 填空題
3.3.3 習題參考答案
第4章 圖論
4.1 考試要點
4.1.1 無向圖及有向圖
4.1.2 通路、回路、圖的連通性
4.1.3 圖的矩陣表示
4.1.4 最短路徑及關鍵路徑
4.1.5 二部圖
4.1.6 歐拉圖與哈密爾頓圖
4.1.7 平面圖
4.1.8 無向樹及生成樹
4.1.9 根樹及其應用
4.2 例題詳析
4.2.1 選擇題
4.2.2 填空題
4.2.3 論述題
4.2.4 解答題
4.3 習題
4.3.1 選擇題
4.3.2 填空題
4.3.3 習題參考答案
第5章 上機操作
5.1 考試要點
5.1.1 上機考試的基本要求
5.1.2 C語言程序的上機基本操作
5.1.3 C語言程序的調試操作
5.2 例題詳析
5.3 習題
附錄A “離散數學”考試大綱
附錄B 四級全真模擬筆試試題
附錄C 全國計算機等級考試說明