安徽省高等學校十一五省級規劃教材·離散數學

《安徽省高等學校十一五省級規劃教材·離散數學》是2010年年中國科學技術大學出版社出版的圖書。本教材以《中國計算機科學與技術學科教程（2002）》中制定的關於“離散數學”的知識結構和內容體系編寫。

基本介紹

• 書名：安徽省高等學校十一五省級規劃教材·離散數學
• 頁數：307頁
• 出版社：中國科學技術大學出版社
• 裝幀：平裝

圖書信息

平裝: 307頁

正文語種: 簡體中文

開本: 16

ISBN: 9787312026034

條形碼: 9787312026034

尺寸: 23.6 x 17.8 x 1.6 cm

重量: 458 g

內容簡介

《離散數學》內容簡介：離散數學作為一門理論兼實際套用的綜合性學科，既具有嚴謹的理論基礎，又具備套用學科的特點，它是計算機科學和其他套用科學的基礎理論課。全書分為數理邏輯、集合與關係、代數系統與布爾代數4篇，共9章。內容包括：命題邏輯，一階謂詞邏輯，集合及其運算，二元關係，函式，代數結構，格與布爾代數，無向圖和有向圖，基本圖類的算法等。

目錄

前言

第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-2章 一階謂詞邏輯

1-2-1 基本概念

1-2-2 謂詞合式公式與客體變元的約束

1-2-3 謂詞公式的等價與蘊涵

1-2-4 謂詞邏輯的推理理論

1-2-5 前束範式

第2篇 集合與關係

第2-1章 集合及其運算

2-1-1 集合的概念及其表示

2-1-2 集合的基本運算

2-1-3 集合中元素的計數

第2-2章 二元關係

2-2-1 集合的笛卡兒積

2-2-2 二元關係的基本概念及其表示

2-2-3 關係的運算

2-2-4 關係的性質

2-2-5 關係的閉包運算

2-2-6 等價關係與集合的劃分

2-2-7 相容關係與集合的覆蓋

2-2-8 序關係

第2-3章 函式

2-3-1 函式的概念

2-3-2 逆函式與複合函式

2-3-3 基數、可數集與不可數集

第3篇 代數系統篇

第3-1章 代數結構

3-1-1 代數系統的概念

3-1-2 代數系統的運算及其性質

3-1-3 半群與含么半群

3-1-4 群與子群

3-1-5 交換群與循環群、置換群

3-1-6 陪集與拉格朗日定理

3-1-7 同態與同構

3-1-8 環與域

第3-2章 格與布爾代數

3-2-1 格的概念

3-2-2 分配格

3-2-3 有補格

3-2-4 布爾代數與布爾表達式

第4篇 圖論

第4-1章 無向圖和有向圖

4-1-1 圖的基本概念

4-1-2 圖的道路與連通性

4-1-3 圖的矩陣表示

4-1-4 圖的著色

第4-2章 基本圖類和算法

4-2-1 樹與生成樹

4-2-2 根樹及其套用

4-2-3 平面圖與對偶圖

4-2-4 歐拉圖及其套用

4-2-5 哈密頓圖及其套用

4-2-6 圖的匹配與匈牙利算法

附錄 各章知識結識圖