《高等院校教材·離散數學》是2010年2月1日科學出版社出版的圖書。
基本介紹
- 頁數：236頁
- 出版社：科學出版社
- 裝幀：平裝
- 開本：16
圖書信息,內容簡介,目錄,
圖書信息
平裝: 236頁
正文語種: 簡體中文
開本: 16
ISBN: 9787030264411
條形碼: 9787030264411
尺寸: 23.4 x 16.6 x 1.2 cm
重量: 322 g
內容簡介
《離散數學》共分6章，分別是緒論、命題邏輯、謂詞邏輯、集合論、代數系統和圖論。主要內容有離散量與離散數學、命題公式演算、命題邏輯的推理理論、歸結演繹推理、謂詞公式演算、謂詞公式的解釋、自然演繹推理、集合運算、集合計數、鴿籠原理、包含排除原理（容斥原理）、二元關係、偏序、函式與映射、集合的基數、代數運算、同態、同構、群、群在編碼理論中的套用、格、布爾代數、圖的基本概念、圖的矩陣表示、有向圖、歐拉圖、哈密頓圖、帶權圖和樹。《離散數學》設計為72學時，帶星號*的章節可視具體情況選講。
《離散數學》可作為高等院校計算機專業的教材，也可供信息及電子等專業師生參考。
目錄
前言
第1章 緒論
1.1 離散量與離散數學
1.2 離散數學的地位和作用
1.3 計算機為什麼要依賴數學
1.4 計算機求解問題舉例
第2章 命題邏輯
2.1 命題邏輯概述
2.2 命題及命題聯結詞
2.3 命題公式及其賦值
2.4 用命題公式描述實際問題
2.5 命題公式的等值演算
2.6 公式的範式
2.7 命題邏輯的推理理論
2.8 命題邏輯的歸結演繹推理
第3章 謂詞邏輯
3.1 謂詞邏輯概述
3.2 謂詞公式
3.3 用謂詞公式表示命題
3.4 謂詞公式的解釋
3.5 謂詞公式的等值演算
3.6 謂詞邏輯的歸結演繹推理
3.7 謂詞邏輯的自然演繹推理
第4章 集合論
4.1 集合的基本概念
4.2 集合運算
4.3 集合的包含關係與恆等關係
4.4 有窮集合的計數
4.5 二元關係
4.6 函式與映射
4.7 集合的基數
第5章 代數系統
5.1 代數運算
5.2 代數系統的基本概念
5.3 群
5.4 環與域
5.5 格
5.6 布爾代數
第6章 圖論
6.1 圖的基本概念
6.2 圖的連通性
6.3 圖的矩陣表示
6.4 有向圖
6.5 歐拉圖與哈密頓圖
6.6 帶權圖
6.7 樹
習題答案及提示
參考文獻
