離散數學(第六版)（簡體書）

本書是北京高等教育精品教材。內容主要包括數理邏輯、集合論、圖論、組合分析初步、代數結構及形式語言和自動機初步6方面的內容。書中概念論述清楚，內容豐富，通俗易懂，並且著重於概念的應用，而不著重於定理的證明。每章後均附有習題，建議學時為54～72。 本書可以作為計算機及信息管理等相關專業本科生的教材，也可以供從事計算機軟件、硬件開發和應用的人員使用。另有配套教材《離散數學題解（第六版）》。

●章 命題邏輯
1.1 命題符號化及聯結詞
1.2 命題公式及分類
1.3 等值演算
1.4 範式
1.5 聯結詞全功能集
1.6 組合電路
1.7 推理理論
1.8 題例分析
習題
第2章 一階邏輯
2.1 一階邏輯基本概念
2.2 一階邏輯合式公式及解釋
2.3 一階邏輯等值式與前束範式
2.4 題例分析
習題
第3章 集合的基本概念和運算
3.1 集合的基本概念
3.2 集合的基本運算
3.3 集合中元素的計數
3.4 題例分析
習題
第4章 二元關係和函數
4.1 集合的笛卡兒積與二元關係
4.2 關係的運算
4.3 關係的性質
4.4 關係的閉包
4.5 等價關係和偏序關係
4.6 函數的定義和性質
4.7 函數的復合和反函數
4.8 題例分析
習題
第5章 圖的基本概念
5.1 無向圖及有向圖
5.2 通路、回路和圖的連通性
5.3 圖的矩陣表示
5.4 短路徑、關鍵路徑和著色
5.5 題例分析
習題
第6章 特殊的圖
6.1 二部圖
6.2 歐拉圖
6.3 哈密頓圖
平面圖
6.5 題例分析
習題
第7章 樹
7.1 無向樹及生成樹
7.2 根樹及其應用
7.3 題例分析
習題
第8章 組合分析初步
8.1 加法法則和乘法法則
8.2 基本排列組合的計數方法
8.3 遞推方程的求解與應用
8.4 題例分析
習題
第9章 代數系統簡介
9.1 二元運算及其性質
9.2 代數系統
9.3 幾個典型的代數系統
9.4 題例分析
習題
0章 形式語言和自動機初步
10.1 形式語言和形式文法
10.1.1 字符串和形式語言
10.1.2 形式文法
10.1.3 形式文法的分類
10.1.4 正則文法和上下文無關文法的應用
10.1.5 語法分析樹
10.2 有窮自動機
10.2.1 基本概念
10.2.2 非確定型有窮自動機
10.2.3 帶ε轉移的非確定型有窮自動機
10.3 正則表達式
10.4 圖靈機
10.5 題例分析
習題