内容
本书系作者根据多年的教学经验和教案个性整理而成。全书共分11章，第1、2章为数理逻辑部分，第3至5章及第11章为集合论部分，第6至8章为图论部分，第9及10章为代数系统部分。书中精选了大量实例，力求深入浅出地介绍与计算机科学密切相关的课程，既着重于各种分内容之间的紧密联系，又深入探讨概念、理论、算法和实际应用。各章节配备的习题与书后的提示和答案为读者迅速掌握有关知识提供有效帮助。
作者
本书系作者根据多年的教学经验和教案个性整理而成。全书共分11章，第1、2章为数理逻辑部分，第3至5章及第11章为集合论部分，第6至8章为图论部分，第9及10章为代数系统部分。书中精选了大量实例，力求深入浅出地介绍与计算机科学密切相关的课程，既着重于各种分内容之间的紧密联系，又深入探讨概念、理论、算法和实际应用。各章节配备的习题与书后的提示和答案为读者迅速掌握有关知识提供有效帮助。
目录
第1章 集合
1.1 集合的基本概念
1.2 集合的基本运算
……
第2章 二元关系
2.1 二元关系及其表示形式
……
第3章 函数
3.1 函数的定义与特殊函数
……
第4章 代数结构
4.1 代数系统
……
第5章 图论
5.1 图的基本概念
……
第6章 命题逻辑
6.1 命题与联结词
……
第7章 谓词逻辑
7.1 谓词逻辑的基本概念
……