離散數學學習輔導

《離散數學學習輔導》是2012年清華大學出版社出版的圖書，作者是李樹平。

基本介紹

• 書名：離散數學學習輔導
• 作者：李樹平
• ISBN：9787302284369
• 頁數：167
• 定價：22.00元
• 出版社：清華大學出版社
• 出版時間：2012-6

內容簡介

《離散數學學習輔導》是普通高等院校數學、計算機科學與技術等專業適用的本科生教學參考書。內容包括數理邏輯中的命題邏輯、一階謂詞邏輯，集合論，代數系統和布爾代數，圖論等理論的基本概念和基礎知識。各章均由基礎知識、教學要求、典型習題、課後習題及答案、練習題及答案、自測與測試六部分構成。

《離散數學學習輔導》習題分層次設定，符合學生的認知規律，便於學生自主學習參考，適合理工科院校及高職高專相關專業的教師和學生參閱。

目錄

第1章 集合論11.1 基礎知識1

1.1.1 集合的概念與運算1

1.1.2 二元關係1

1.1.3 關係的性質及閉包運算2

1.1.4 關係的閉包運算2

1.1.5 序關係3

1.1.6 等價關係3

1.1.7 映射4

1.1.8 數學歸納法4

1.1.9 計數4

1.1.10 排列組合生成算法5

1.1.11 離散機率簡介6

1.2 教學要求7

1.3 典型習題7

1.4 課後習題及答案10

1.5 練習題及答案22

1.6 自測與測試32

參考答案34

第2章 命題邏輯35

2.1 基礎知識35

2.1.1 命題與聯結詞35

2.1.2 命題公式、指派及真值表35

2.1.3 命題公式的等值式36

2.1.4 主析取範式和主合取範式37離散數學學習輔導目錄2.1.5 聯結詞完備集37

2.1.6 可滿足性問題與消解法38

2.1.7 推理的形式結構38

2.1.8 自然推理系統N中的形式證明38

2.2 教學要求39

2.3 典型習題39

2.4 課後習題及答案45

2.5 練習題及答案58

2.6 自測與測試62

參考答案64

第3章 謂詞邏輯66

3.1 基礎知識66

3.1.1 基本概念66

3.1.2 一階邏輯公式及解釋66

3.1.3 一階邏輯等值式67

3.1.4 前束範式與斯科林範式68

3.1.5 謂詞演算的推理理論68

3.2 教學要求69

3.3 典型習題69

3.4 課後習題及答案71

3.5 練習題及答案82

3.6 自測與測試89

參考答案90