基本介紹
內容簡介,目錄,
內容簡介
本書適合作為高等學校計算機專業或其他工程類專業教材使用，也可以供對離散數學有興趣的讀者自學
目錄
第1章 緒論
1.1 離散數學的研究對象
1.2 離散數學的主要內容
1.3 學習離散數學的方法
第2章 數理邏輯
2.1 命題
2.1.1 命題的概念
2.1.2 命題的表示
2.2 命題聯結詞
2.2.1 聯結詞的定義
2.2.2 命題邏輯中聯結詞的最小集
2.3 命題的合式公式
2.3.1 合式公式
2.3.2 語句的符號化
2.4 真值表、永真式和永假式
2.4.1 真值表
2.4.2 永真式和永假式
2.5 公式的等價和蘊含
2.5.1 公式的等價
2.5.2 公式的蘊含
2.6 公式的主範式
2.6.1 主析取範式
2.6.2 主合取範式
2.7 命題演算的推理理論
2.7.1 有效推理的概念
2.7.2 有效推理的方法
2.8 命題邏輯和二值邏輯器件
2.9 一階謂詞邏輯
2.10 命題函式和個體變數及量詞
2.10.1 命題函式
2.10.2 量詞
2.11 謂詞公式
2.11.1 謂詞公式
2.11.2 變數的約束和替換
2.11.3 謂詞演算中的等價與蘊含
2.12 謂詞演算的推理理論
習題
第3章 集合和關係
3.1 集合和集合的運算
3.1.1 集合的基本概念
3.1.2 集合的運算
3.1.3 集合運算中的恆等式
3.1.4 序偶和笛卡兒積
3.2 關係
3.2.1 關係及其表示法
3.2.2 幾種特殊的關係
3.2.3 關係的運算
3.3 等價關係和集合的劃分
3.3.1 等價關係
3.3.2 等價關係與劃分
3.4 序關係和哈斯圖
3.4.1 序關係
3.4.2 偏序關係的哈斯圖
3.4.3 偏序集中的某些特殊元素
3.5 函式及其運算
3.5.1 函式的概念
3.5.2 函式的複合
3.5.3 逆函式
習題
第4章 數函式和遞推關係
4.1 數函式概念
4.2 數函式的基本運算
4.3 數函式的母函式
4.4 遞推關係
4.4.1 常係數線性遞推關係
4.4.2 用母函式求解數函式的通式
習題
第5章 圖論
