第1章基礎知識/1

1.1集合與序列2

1.1.1內容提要2

1.1.2主教材習題參考解答4

1.2數論基礎10

1.2.1內容提要10

1.2.2主教材習題參考解答12

1.3計數基礎16

1.3.1內容提要16

1.3.2主教材習題參考解答19

1.4布爾矩陣及其運算28

1.4.1內容提要28

1.4.2主教材習題參考解答29

1.5補充習題及參考解答30

第2章命題邏輯/55

2.1命題邏輯的基本概念56

2.1.1內容提要56

2.1.2主教材習題參考解答56

2.2命題公式及其分類58

2.2.1內容提要58

2.2.2主教材習題參考解答59

2.3命題邏輯的等值演算61

2.3.1內容提要61

2.3.2主教材習題參考解答62

2.4對偶與范式62

2.4.1內容提要62

2.4.2主教材習題參考解答65

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

2.5.1內容提要67

2.5.2主教材習題參考解答68

2.6命題邏輯的推理69

2.6.1內容提要69

2.6.2主教材習題參考解答70

2.7補充習題及參考解答75

〖1〗離散數學及應用學習指導與習題解析目錄〖3〗〖3〗第3章謂詞邏輯/91

3.1謂詞與量詞92

3.1.1內容提要92

3.1.2主教材習題參考解答93

3.2謂詞公式及分類94

3.2.1內容提要94

3.2.2主教材習題參考解答95

3.3自然語言形式化96

3.3.1內容提要96

3.3.2主教材習題參考解答96

3.4謂詞邏輯的等值演算98