第1章 命题逻辑 1
一、重点内容提要 1
二、知识结构网络图 2
三、基本要求与考核点 2
四、习题详解 3
第2章 谓词逻辑 17
一、重点内容提要 17
二、知识结构网络图 18
三、基本要求与考核点 18
四、习题详解 19
第3章 集合 27
一、重点内容提要 27
二、知识结构网络图 28
三、基本要求与考核点 28
四、习题详解 29
第4章 二元关系 37
一、重点内容提要 37
二、知识结构网络图 38
三、基本要求与考核点 38
四、习题详解 39
第5章 函数 46
一、重点内容提要 46
二、知识结构网络图 46
三、基本要求与考核点 47
四、习题详解 47
第6章 代数 51
一、重点内容提要 51
二、知识结构网络图 52
三、基本要求与考核点 52
四、习题详解 53
第7章 群论 63
一、重点内容提要 63
二、知识结构网络图 64
三、基本要求与考核点 64
四、习题详解 65
第8章 格与布尔代数 73
一、重点内容提要 73
二、知识结构网络图 74
三、基本要求与考核点 74
四、习题详解 75
第9章 图论 80
一、重点内容提要 80
二、知识结构网络图 82
三、基本要求与考核点 82
四、习题详解 83
第10章 特殊图 90
一、重点内容提要 90
二、知识结构网络图 91
三、基本要求与考核点 92
四、习题详解 92
附录 西北工业大学软件与微电子学院2003—2007年离散数学课程考试试题 102