高等學校理工科教材：離散數學及套用

內容簡介

《高等學校理工科教材：離散數學及套用》是按國家教委離散教學教學大綱的精神，並根據筆者多年來從事離散數學課程的教學實踐經驗以及計算機科研工作經驗編寫而成。《高等學校理工科教材：離散數學及套用》內容包括數理邏輯、集合論、圖論、代數結構四個基本部分以及套用部分。套用部分主要介紹用計算機化簡邏輯函式、形式語言與自動機這兩個專題。　《高等學校理工科教材：離散數學及套用》可作為計算機專業的離散教學教材，也可作為有關專業的教學用書，並可供有關專業的工程技術人員及具有高中以上文化水平的讀者參考。

圖書目錄

第一篇數理邏輯

第一章命題演算

1.1 命題及聯結詞

1.2 命題變元與命題公式

1.3 命題演算的關係式

1.4 其他聯結詞

1.5 範式

1.6 命題演算的推理

第二章謂詞演算

2.1 謂詞演算的基本概念

2.2 謂詞演算的關係式

2.3 前束範式

2.4 謂詞演算的推理

習題一

學習提要一

第二篇集合論

第三章集合

3.1 集合的基本概念

3.2 集合的運算及基本公式

3.3 冪集

3.4 包含排斥原理

3.5 集合的直積（笛卡兒乘積）

第四章關係

4.1 關係及其運算

4.2 關係的有關性質

4.3 關係的閉包運算

4.4 等價關係和相容關係

4.5 偏序關係

第五章映射與無限集

5.1 映射

5.2 無限集

習題一

學習提要二

第三篇圖論

第六章圖論

6.1 圖的基本概念

6.2 樹

6.3 圖的矩陣表示

6.4 平面圖

6.5 二分圖與匹配

習題三

學習提要三

第四篇代數結構

第七章代數結構的基本知識

7.1 代數系統的基本概念

7.2 同構與同態

第八章半群與群

8.1 半群、循環半群與么半群

8.2　群

8.3　置換群與對稱群

8.4　循環群

8.5　陪集與拉格朗日定理

第九章環與域

9.1　環與麼環

9.2　整環與除環

9.3　域

第十章格與布爾代數

10.1　格與代數系統

10.2　布爾格與布爾代數

10.3　布爾代數的另一理論體系

10.4　布爾表達式與布爾函式

高等學校理工科教材：離散數學及套用

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條