高等院校信息管理与信息系统专业系列教材：离散数学题解（第3版）

　　第1章 命题逻辑1
　　内容提要1
　　习题7
　　习题解答11
　　第2章 一阶逻辑28
　　内容提要28
　　习题31
　　习题解答34
　　第3章 集合的基本概念和运算41
　　内容提要41
　　习题43
　　习题解答47
　　第4章 二元关系和函数52
　　内容提要52
　　习题56
　　习题解答61
　　第5章 代数系统的一般性质71
　　内容提要71
　　习题73
　　习题解答76
　　第6章 几个典型的代数系统84
　　内容提要84
　　习题88
　　习题解答91
　　第7章 图的基本概念96
　　内容提要96
　　习题100
　　习题解答102
　　第8章 一些特殊的图111
　　内容提要111
　　习题114
　　习题解答116
　　第9章 树122
　　内容提要122
　　习题124
　　习题解答127
　　第10章 组合分析初步132
　　内容提要132
　　习题134
　　习题解答137
　　第11章 形式语言和自动机初步149
　　内容提要149
　　习题152
　　习题解答156

　　《高等院校信息管理与信息系统专业系列教材?离散数学题解(第3版)》是《离散数学(第四版)》(耿素云，屈婉玲，张立昂编著，清华大学出版社出版)一书的配套题解。含6个部分：1.数理逻辑；2.集合论；3.代数结构；4.图论；5.组合分析初步；6.形式语言和自动机初步。每部分均包含三方面内容：(1)内容提要；(2)与本部分配套的习题；(3)习题解答。对每道题都做了较详细的解答与分析。对某些题还给出了不同的解法或指出容易犯的错误及犯错误的原因。