《離散數(shù)學(xué)及應(yīng)用》是一流本科課程離散數(shù)學(xué)［線上一流課程，主要開課平臺(tái)是愛課程（中國(guó)大學(xué)MOOC）］的指定教材，本書是該教材的配套學(xué)習(xí)用書，全書共10章，與《離散數(shù)學(xué)及應(yīng)用（第3版）》的結(jié)構(gòu)完全對(duì)應(yīng)。 本書給出了《離散數(shù)學(xué)及應(yīng)用（第3版）》中各章節(jié)習(xí)題的全部解答，同時(shí)提供了大量補(bǔ)充習(xí)題。此外，每章的開頭還提供了本章的知識(shí)結(jié)構(gòu)圖。本書有兩個(gè)附錄，分別是參考教學(xué)內(nèi)容與課時(shí)安排及課程綜合實(shí)驗(yàn)，這些內(nèi)容可以看作對(duì)《離散數(shù)學(xué)及應(yīng)用（第3版）》的有益補(bǔ)充。 本書不僅適合作為高等院校計(jì)算機(jī)或軟件工程專業(yè)本科生或研究生相關(guān)課程教材，也可供其他專業(yè)學(xué)生和科技人員閱讀參考。

第1章基礎(chǔ)知識(shí)/1

1.1集合與序列2

1.1.1內(nèi)容提要2

1.1.2主教材習(xí)題參考解答4

1.2數(shù)論基礎(chǔ)10

1.2.1內(nèi)容提要10

1.2.2主教材習(xí)題參考解答12

1.3計(jì)數(shù)基礎(chǔ)16

1.3.1內(nèi)容提要16

1.3.2主教材習(xí)題參考解答19

1.4布爾矩陣及其運(yùn)算28

1.4.1內(nèi)容提要28

1.4.2主教材習(xí)題參考解答29

1.5補(bǔ)充習(xí)題及參考解答30

第2章命題邏輯/55

2.1命題邏輯的基本概念56

2.1.1內(nèi)容提要56

2.1.2主教材習(xí)題參考解答56

2.2命題公式及其分類58

2.2.1內(nèi)容提要58

2.2.2主教材習(xí)題參考解答59

2.3命題邏輯的等值演算61

2.3.1內(nèi)容提要61

2.3.2主教材習(xí)題參考解答62

2.4對(duì)偶與范式62

2.4.1內(nèi)容提要62

2.4.2主教材習(xí)題參考解答65

2.5命題聯(lián)結(jié)詞的完備集67

2.5.1內(nèi)容提要67

2.5.2主教材習(xí)題參考解答68

2.6命題邏輯的推理69

2.6.1內(nèi)容提要69

2.6.2主教材習(xí)題參考解答70

2.7補(bǔ)充習(xí)題及參考解答75

〖1〗離散數(shù)學(xué)及應(yīng)用學(xué)習(xí)指導(dǎo)與習(xí)題解析目錄〖3〗〖3〗第3章謂詞邏輯/91

3.1謂詞與量詞92

3.1.1內(nèi)容提要92

3.1.2主教材習(xí)題參考解答93

3.2謂詞公式及分類94

3.2.1內(nèi)容提要94

3.2.2主教材習(xí)題參考解答95

3.3自然語(yǔ)言形式化96

3.3.1內(nèi)容提要96

3.3.2主教材習(xí)題參考解答96

3.4謂詞邏輯的等值演算98