計算機等級考試教程：離散數學（四級）

     目 錄
   《計算機等級考試教程》再版序言
   前言
   第1章 集合
    1.1 集合的基本概念
    1.1.1 集合的表示方法
    1.1.2 子集
    1.1.3 冪集
    1.2 集合的運算
    1.3 包含排斥原理
    綜合練習
   第2章 二元關系
    2.1 二元關系及其表示方法
    2.1.1 集合的笛卡兒乘積
    2.1.2 二元關系的定義
    2.1.3 關系的三種表示方法
    2.2 關系的基本類型
    2.3 等價關系和劃分
    2.3.1 等價關系
    2.3.2 等價類
    2.3.3 集合的劃分
    2.4 相容關系和覆蓋
    2.4.1 相容關系
    2.4.2 覆蓋
    2.5 偏序關系
    2.6 復合關系和逆關系
    2.7 關系的閉包運算
    綜合練習
   第3章 函數
    3.1 函數的定義
    3.2 特殊函數
    3.3 復合函數和逆函數
    綜合練習
   第4章 代數結構
    4.1 代數系統(tǒng)
    4.2 特殊運算和特殊元素
    4.3 同構
    4.4 半群
    4.5 群的定義和性質
    4.6 子群
    4.7 循環(huán)群
    4.8 置換群
    4.9 陪集和拉格朗日定理
    4.10 同態(tài)和同余
    4.10.1 同態(tài)
    4.10.2 同余關系
    4.10.3 正規(guī)子群
    4.11 群碼
    4.12 環(huán)和域
    4.13 格
    4.13.1 格和子格
    4.13.2 格和偏序集
    4.13.3 分配格
    4.13.4 有界格
    4.13.5 有補格
    綜合練習
   第5章 圖論
    5.1 圖的基本概念
    5.2 通路和賦權圖的最短通路
    5.2.1 通路和回路
    5.2.2 賦權圖的最短通路
    5.3 圖和矩陣
    5.4 歐拉圖
    5.5 哈密頓圖
    5.6 中國郵路問題和旅行售
    貨員問題
    5.7 二部圖
    5.8 平面圖
    5.9 無向樹
    5.10 有向樹
    5.11 圖在計算機中的存儲
    綜合練習
   第6章 命題邏輯
    6.1 命題和聯(lián)結詞
    6.2 真值表和邏輯等價
    6.3 永真蘊含式
    6.4 推理理論
    6.5 范式
    6.5.1 析取范式和主析取范式
    6.5.2 合取范式和主合取范式
    綜合練習
   第7章 謂詞邏輯
    7.1 謂詞
    7.2 命題函數和量詞
    7.2.1 命題函數
    7.2.2 量詞
    7.2.3 謂詞合式
    7.3 約束元和自由元
    7.4 等價式和蘊含式
    7.5 謂詞演算的推理理論
    綜合練習