離散數學及其套用(第2版)

離散數學及其套用(第2版)

《離散數學及其套用(第2版)》是由傅彥、顧小豐、王慶先、劉啟和共同編著,2013年由高等教育出版社出版的“十一五”國家級規劃教材。該教材既可作為高等學校計算機科學與技術專業離散數學課程教材,也可作為其他相關專業的離散數學課程教材。

該教材系統地介紹了數理邏輯與基本定理證明方法、二元關係、圖論、代數系統與布爾代數中有關的概念、定理及其證明方法,既注重對基本概念的描述,又注重闡述離散數學的證明方法及其在計算機科學中的實際套用。

基本介紹

  • 書名:離散數學及其套用(第2版)
  • 作者:傅彥、顧小豐、王慶先、劉啟和
  • ISBN:978-7-04-037148-2
  • 類別:“十一五”國家級規劃教材
  • 頁數:492頁
  • 出版社:高等教育出版社
  • 出版時間:2013年6月3日
  • 裝幀:平裝
  • 開本:16開
  • 版面字數:690千字
成書過程,內容簡介,教材目錄,教學資源,教材特色,作者簡介,

成書過程

《離散數學及其套用(第2版)》由電了科技大學離散數學課程組教師共同編寫的。由傅彥擔任主編,第1章、第2章、第6章至第8章由王慶先撰寫,第3章至第5章由傅彥撰寫,第9章至第11章由顧小豐撰寫,第12章至第15章由劉啟和撰寫。
2013年6月3日,該教材由高等教育出版社出版。

內容簡介

《離散數學及其套用(第2版)》包括5篇,共15章的內容。第1篇預備知識,包括集合論、計數問題;第2篇數理邏輯,包括命題邏輯、謂詞邏輯、證明技術;第3篇二元關係,包括二元關係、特殊關係、函式;第4篇圖 論,包括圖、樹、特殊圖;第5篇代數系統,包括代數系統、群、環與域、格與布爾代數。

教材目錄

前輔文
第1篇 預 備 知 識
引言
第1章 集合論
1.0 內容提要
1.1 學習要求
1.2 集合
1.3 無限集
1.4 集合的套用
1.5 本章總結
1.6 習題
第2章 計數問題
2.0 內容提要
2.1 學習要求
2.2 基本原理
2.3 排列與組合
2.4 容斥原理與鴿籠原理
2.5 本章總結
2.6 習題
第2篇 數 理 邏 輯
引言
第3章 命題邏輯
3.0 內容提要
3.1 學習要求
3.2 命題與命題聯結詞
3.3 命題公式、解釋與真值表
*3.4 聯結詞的完備集
3.5 公式的標準型——範式
3.6 命題邏輯的推理理論
3.7 本章總結
3.8 習題
第4章 謂詞邏輯
4.0 內容提要
4.1 學習要求
4.2 謂詞邏輯中的基本概念與表示
4.3 謂詞合式公式與解釋
4.4 公式的標準型——範式
4.5 謂詞邏輯的推理理論
4.6 本章總結
4.7 習題
第5章 證明技術
5.0 內容提要
5.1 學習要求
5.2 證明定理的方法
5.3 數學歸納法
5.4 按定義證明方法
5.5 本章總結
5.6 習題
第3篇 二 元 關 系
引言
第6章 二元關係
6.0 內容提要
6.1 學習要求
6.2 二元關係
6.3 關係的運算
6.4 關係的性質
6.5 關係的閉包運算
6.6 本章總結
6.7 習題
第7章 特殊關係
7.0 內容提要
7.1 學習要求
7.2 等價關係
7.3 次序關係
7.4 本章總結
7.5 習題
第8章 函式
8.0 內容提要
8.1 學習要求
8.2 函式
8.3 函式的運算
8.4 置換函式
8.5 本章總結
8.6 習題
第4篇 圖 論
引言
第9章 圖
9.0 內容提要
9.1 學習要求
9.2 圖的基本概念
9.3 通路、迴路與連通性
9.4 本章總結
9.5 習題
第10章 樹
10.0 內容提要
10.1 學習要求
10.2 樹
10.3 根樹
10.4 本章總結
10.5 習題
第11章 特殊圖
11.0 內容提要
11.1 學習要求
11.2 歐拉圖
11.3 哈密頓圖
11.4 偶圖
11.5 平面圖
11.6 本章總結
11.7 習題
第5篇 代 數 系 統
引言
第12章 代數系統
12.0 內容提要
12.1 學習要求
12.2 代數系統
12.3 代數系統的基本運算和性質
12.4 同態與同構
12.5 本章總結
12.6 習題
第13章 群
13.0 內容提要
13.1 學習要求
13.2 半群與含么半群
13.3 群及其性質
13.4 特殊群
13.5 陪集與拉格朗日定理
13.6 正規子群與商群
13.7 本章總結
13.8 習題
*第14章 環與域
14.0 內容提要
14.1 學習要求
14.2 環與域
14.3 本章總結
14.4 習題
第15章 格與布爾代數
15.0 內容提要
15.1 學習要求
15.2 格
15.3 布爾代數
15.4 本章總結
15.5 習題
參考文獻
(註:目錄排版順序為從左列至右列

教學資源

書名ISBN字數頁數
《離散數學實驗與習題解析》
978-7-04-022469-6
320千字
222頁
註:是由高等教育出版社出版,傅彥、王麗傑、尚明生、顧小豐主編
《離散數學及其套用(第2版)》還配有電子教案。

教材特色

《離散數學及其套用(第2版)》強調數學推理及用不同的方法解題。在編寫過程中體現基礎與前沿的關係、基礎與後續課程的關係,注重理論與實踐的結合,強調以邏輯的思想為主線,建立了各種證明問題的方法,突出定義和定理的邏輯描述特徵,同時側重於就若干重要內容介紹其概念和獨特的方法。內容以工科學生“夠用”為限,突出重點;大部分概念都用例子加以說明;強化基本概念的描述,注重基本理論的證明方法;淡化煩瑣、含有特殊技巧、不帶普遍意義的理論證明方法。
該教材每個例題和證明都採用先分析、後求解或證明的描述風格。在每一章前有本章內容提要、學習要求,章後有該章的主要知識點匯集、才題類型、解題分析和證明方法等,還增加了一篇預備知識。

作者簡介

傅彥:女,碩士生導師,研究生畢業,工學碩士學位,電子科技大學計算機科學與工程學院副院長、教授。
顧小豐:男,高級工程師,碩士生導師,碩士研究生畢業,理學碩士學位,電子科技大學信息與軟體工程學院講師、教研室主任。
王慶先:女,博士研究生畢業,工學博士學位,電子科技大學信息與軟體工程學院副教授。
劉啟和:男,碩士生導師,博士研究生畢業,工學博士學位,電子科技大學信息與軟體工程學院副教授。

相關詞條

熱門詞條

聯絡我們