離散數學：數學計算機

書籍，武漢大學出版社2002年12月1日出版

基本介紹

• 書名：離散數學：數學計算機
• ISBN：7307036916
• 頁數：266
• 出版社：武漢大學出版社
• 出版時間：2002年12月1日
• 裝幀：平裝
• 開本：16
• 版次：1

內容簡介

本書力求敘述嚴謹，推演嚴密，邏輯清晰，深入淺出，做到概念與實例密切結合，學生通過本課程的學習將得到嚴格的邏輯推理與抽象思維能力的訓練。

本書是編者多年在武漢大學計算機科學系講授離散數學課的基礎上參考國內外同類型教材編寫而成的。全書包括數理邏輯、集合論、代數結構和圖論四大部分。本書作為教材，主要適用於計算機科學與工程各專業的本科生，同時也適用於其他專業或其他層次的學生。

目錄

第一編 數理邏輯

第一章 命題邏輯

1.1 命題符號化

1.2 合式公式

1.3 永真公式

1.4 範式

1.5 推理理論

1.6 聯結詞的全功能集

第二章 一階邏輯

2.1 命題符號化

2.2 合式公式

2.3 永真公式

2.4 範式

2.5 推理理論

第二編 集合論

第三章 集合

3.1 集合的基本概念及其表示法

3.2 集合的運算

3.3 基本集合恆等式

3.4 容斥原理

3.5 集合的笛卡爾積

第四章 二元關係

4.1 關係及其表示法

4.2 關係的性質

4.3 關係的運算

4.4 等價關係與劃分

4.5 序關係

4.6 相容關係

第五章 函式

5.1 函式的基本概念和性質

5.2 函式的合成

5.3 逆函式

第六章 集合的基數

6.1 可數集和不可數集

6.2 集合基數的比較

第三編 代數結構

第七章 代數系統

第八章 半群和群

第九章 環和域

第十章 格與布爾代數

第四編 圖論

第十一章 圖

參考文獻

符號表