編輯推薦

　　本書在第一版的基礎上，結閤幾年來的教學實踐，博采其他同類書籍的優點，根據計算機技術類相關專業的實際需要編寫而成。全書脈絡清晰，內容針對性強，特彆適閤青年教師教學使用。

內容簡介

　　本書較為係統地介紹瞭計算機科學與技術等相關專業所必需的離散數學知識，全書分為4個部分（數理邏輯、集閤論、代數結構和圖論），共7章。第1章介紹命題及命題邏輯；第2章介紹一階謂詞邏輯及其推理理論；第3章介紹集閤的基本概念和性質；第4章介紹二元關係和函數；第5章介紹代數係統基本概念；第6章介紹幾個典型的代數係統；第7章介紹圖論的基礎內容和一些特殊圖及其性質。各章之後配有適當難度的習題及其簡要參考答案，便於學生課後練習。每個部分結束後配有內容小結，便於學生自學、復習和提高。

　　本書可以作為高等院校計算機科學與技術、軟件工程、通信工程等相關專業的教材，也可以作為考研學生及計算機工作者的參考書。

目錄

第一部分數 理 邏 輯

第1章命題邏輯

1.1命題及聯結詞

1.2命題公式與真值錶

1.3命題公式的範式與主範式

1.4聯結詞的完備集

1.5命題推理理論

習題1

第2章謂詞邏輯

2.1謂詞的概念與錶示

2.2謂詞公式

2.3謂詞公式的賦值與分類

2.4謂詞公式的等值演算

2.5謂詞公式的前束範式

2.6謂詞演算的推理理論

習題2

第二部分集閤論

第3章集閤

3.1集閤的基本概念

3.2集閤的基本運算

3.3集閤恒等式

習題3

第4章二元關係和函數

4.1二元關係

4.2關係的運算

4.3關係的性質

4.4關係的閉包

4.5等價關係與偏序關係

4.6函數

4.7集閤的基數

習題4

第三部分代 數 結 構

第5章代數係統

5.1二元運算及其性質

5.2二元運算中的特殊元素

5.3代數係統的概念

習題5

第6章幾個典型的代數係統

6.1半群與群

6.2陪集與拉格朗日定理

6.3群的同態與同構

6.4循環群與置換群

6.5環和域

6.6格與布爾代數

習題6

第四部分圖論

第7章圖論基礎

7.1圖的基本概念

7.2圖的連通性

7.3圖的矩陣錶示

7.4歐拉圖與哈密頓圖

7.5樹

7.6平麵圖

習題7

附錄粗糙集理論概述

習題參考答案

參考文獻

很棒，書很不錯，記筆記也很流暢，紙質量蠻好

u書不錯

m

可以

m

挺快

很棒，書很不錯，記筆記也很流暢，紙質量蠻好

很好

m