離散數學基礎（第二版）

內容簡介

本書對計算機類專業在本科階段最需要掌握的離散數學基礎知識做了系統介紹，力求概念清晰，注重實際套用。全書共7章，包括準備知識（集合、整數、序列、矩陣）、數理邏輯、組合數學（計數）、二元關係、布爾代數、圖論（圖、樹、圖和樹的有關算法）等，並含有較多的與計算機類專業相關的例題和習題。本書敘述簡潔、深入淺出、注重實踐和套用，主要面向地方院校和獨立學院計算機類專業的本科學生，也可以作為大學非計算機專業學生的選修課教材和計算機套用技術人員的自學參考書。

圖書目錄

第1章準備知識

1.1集合

1.1.1集合的基本概念

1.1.2集合的基本運算和性質

1.1.3集合的笛卡兒積

1.1.4集合的計算機表示

1.2整數

1.2.1整除

1.2.2最大公約數和最低公倍數

1.2.3模運算

1.3序列和遞推關係

1.3.1序列

1.3.2序列求和

1.3.3遞推關係

1.4矩陣

1.4.1矩陣的概念

1.4.2矩陣的運算

1.4.3布爾矩陣

習題1

第2章數理邏輯

2.1命題及聯結詞

2.1.1命題的概念

2.1.2命題聯結詞

2.2命題公式和分類

2.2.1命題變元和命題公式

2.2.2命題公式的賦值和真值表

2.2.3命題公式的類型

2.3等值演算與範式

2.3.1等價和基本等價式

2.3.2等值演算

2.3.3範式

2.4命題邏輯的推理理論

2.4.1推理的形式結構

2.4.2演繹法證明推理

2.5謂詞邏輯基礎

2.5.1謂詞邏輯的基本概念

2.5.2謂詞公式及其解釋

2.6謂詞邏輯等值式與範式

2.6.1謂詞邏輯等值式

2.6.2前束範式

2.7謂詞邏輯的推理理論

2.7.1有關量詞的基本蘊涵式

2.7.2有關量詞的推理規則

習題2

第3章計數

3.1基本計數、排列與組合

3.1.1基本的計數原則

3.1.2排列與組合

3.2排列組合的進一步討論

3.2.1圓周排列

3.2.2有重複的排列

3.2.3有重複的組合

3.3生成排列和組合

3.3.1生成排列

3.3.2生成組合

3.4生成函式及其套用

3.4.1生成函式的定義

3.4.2生成函式求解計數問題

3.4.3使用生成函式求解遞推關係

3.5鴿巢原理

3.5.1一般的鴿巢原理

3.5.2推廣的鴿巢原理

離散數學基礎（第二版）

基本介紹

內容簡介

圖書目錄

熱門詞條