《離散數學（第二版）》是2017年科學出版社出版的圖書，作者是廖元秀、周生明。
基本介紹
- 中文名：離散數學（第二版）
- 作者：廖元秀、周生明
- 出版社：科學出版社
- 出版時間：2017年6月
- ISBN：9787030535665
內容簡介,圖書目錄,
內容簡介
本書共分6章，分別是緒論、命題邏輯、謂詞邏輯、集合論、代數系統和圖論。主要內容包括離散量與離散數學、命題公式演算、命題邏輯的推理理論、歸結演繹推理、謂詞公式的解釋、謂詞公式演算、自然演繹推理、集合運算、集合計數、鴿籠原理、包含排除原理(容斥原理)、二元關係、函式與映射、代數運算、同態、同構、群、群在編碼理論中的套用、布爾代數、圖的基本概念、圖的矩陣表示、有向圖、歐拉圖、哈密頓圖、帶權圖和樹。本書設計為72學時，帶星號*的章節可視具體情況選講。
圖書目錄
- 前言
- 第1章緒論
- 第2章命題邏輯
- 第3章謂詞邏輯
- 第4章集合論
- 第5章代數系統
- 第6章圖論
- 習題答案及提示
- 參考文獻
