離散數學(第2版)(謝美萍、陳媛編著書籍)

離散數學(第2版)(謝美萍、陳媛編著書籍)

本詞條是多義詞,共2個義項
更多義項 ▼ 收起列表 ▲

《離散數學(第2版)》本書共分7章,分別闡述了集合的基本概念、關係函式命題邏輯、一階謂詞邏輯、圖與特殊圖。本書體系嚴謹、結構合理、論述清楚、講解翔實,著重概念的套用,書中配有大量的例題,幫助學生由淺入深地理解與掌握概念,每章附有適量的習題。本書可作為計算機及相關專業本科生的教材,也可以作為計算機專業及相關專業的科技人員使用。

基本介紹

  • 書名:離散數學(第2版)
  • 作者:謝美萍、陳媛
  • ISBN:9787302349716
  • 定價:21元
  • 出版社:清華大學學報
  • 出版時間:2014.03.01
  • 印次:2-4
  • 印刷日期:2016.06.21
書籍信息,內容簡介,圖書目錄,

書籍信息

作者:謝美萍、陳媛
定價:21元
印次:2-4
ISBN:9787302349716
出版日期:2014.03.01
印刷日期:2016.06.21

內容簡介

本書共分7章,分別闡述了集合的基本概念、關係函式命題邏輯、一階謂詞邏輯、圖與特殊圖。本書體系嚴謹、結構合理、論述清楚、講解翔實,著重概念的套用,書中配有大量的例題,幫助學生由淺入深地理解與掌握概念,每章附有適量的習題。本書可作為計算機及相關專業本科生的教材,也可以作為計算機專業及相關專業的科技人員使用。

圖書目錄

第1章集合的基本概念
1.1集合
1.1.1集合的概念
1.1.2集合的特性
1.1.3集合的表示方法
1.2集合間的關係
1.2.1包含關係
1.2.2相等關係
1.2.3特殊集合
1.3集合的運算
1.3.1集合的基本運算
1.3.2有限集合的計數
1.4冪集和編碼
1.4.1冪集
1.4.2冪集元素與編碼
1.5集合恆等式證明
1.5.1基本定義法
1.5.2公式法
1.5.3集合成員表法
習題1
第2章關係
2.1關係的基本概念
2.2關係的表示方法
2.3關係的運算
2.4關係的性質
2.4.1關係的性質
2.4.2關係性質的證明
2.5關係的閉包
2.6等價關係與劃分
2.6.1等價關係
2.6.2集合的劃分
2.6.3劃分與等價關係
2.7偏序關係
2.7.1偏序的定義及表示
2.7.2偏序集中的特殊元素
2.7.3全序集與良序集
習題2
第3章函式
3.1函式的基本概念
3.2特殊函式
3.3複合函式與逆函式
3.3.1複合函式
3.3.2逆函式
習題3
第4章命題邏輯
4.1命題與命題聯結詞
4.1.1命題與真值
4.1.2命題聯結詞
4.2命題公式與真值表
4.3命題公式的等價關係和蘊涵關係
4.3.1命題公式的等價關係
4.3.2命題公式的蘊涵關係
4.4命題公式的範式表示
4.4.1析取範式與合取範式
4.4.2主範式
4.4.3主範式的套用
4.5命題演算的推理理論
4.5.1推理形式
4.5.2推理規則
習題4
第5章一階謂詞邏輯
5.1一階邏輯基本概念
5.1.1謂詞、個體詞和個體域
5.1.2量詞
5.1.3換名規則與代入規則
5.2謂詞公式及其解釋
5.2.1謂詞公式的定義
5.2.2謂詞公式的解釋
5.2.3謂詞公式的分類
5.3謂詞公式之間的關係與範式表示
5.3.1謂詞公式之間的關係
5.3.2範式
5.3.3斯柯林範式
5.4謂詞演算的推理理論
5.4.1推理規則
5.4.2推理規則實例
習題5
第6章圖
6.1圖的基本概念
6.1.1圖的定義
6.1.2頂點的度數
6.1.3子圖
6.1.4並圖、交圖、差圖
6.1.5完全圖、補圖、正則圖、帶權圖
6.1.6圖的同構
6.2通路、迴路和連通圖
6.2.1通路與迴路
6.2.2連通圖
6.3圖的連通性
6.4圖的矩陣表示
6.4.1鄰接矩陣
6.4.2關聯矩陣
6.4.3可達矩陣
習題6
第7章特殊圖
7.1歐拉圖及其套用
7.1.1歐拉圖
7.1.2歐拉圖的套用
7.2哈密頓圖及其套用
7.2.1哈密頓圖
7.2.2閉圖
7.3二分圖
7.4平面圖與對偶圖
7.4.1平面圖
7.4.2對偶圖
7.5平面圖的著色
7.5.1圖的頂點著色
7.5.2圖的邊著色
7.6樹與生成樹
7.6.1無向樹
7.6.2生成樹
7.6.3最小生成樹
7.6.4有向樹
習題7
參考文獻

相關詞條

熱門詞條

聯絡我們