本书是结合作者多年的计算机教学经验及高职高专学生的特点编写而成的。主要内容包括数理逻辑基础、集合与关系、图论、代数系统等。本书从实际应用出发，注重培养学生分析问题、解决问题的能力，在内容编写上力求重点突出，论证明了，避免复杂的理论证明和公式推导。
本书还针对各个知识点列举了大量的实例加以说明。同时，每章后面还配有适量的习题。
本书既可作为高职高专计算机专业学生的教材，也可作为工程技术人员的参考书。

出版说明
前言

第1章 数理逻辑基础

1.1 命题
1.2 命题联结词
1.3 命题公式
1.4 永真式和永假式
1.5 公式的等价与蕴涵
1.6 范式
1.7 命题演算的推理规则
1.8 谓词与量词
1.9 谓词逻辑公式
1.10 谓词逻辑的永真公式和公式的等价
1.11 本章小结
1.12 习题

第2章 集合与关系

2.1 集合与集合运算
2.2 关系
2.3 等价关系
2.4 偏序关系
2.5 映射
2.6 本章小结
2.7 习题

第3章 图论

3.1 图的基本概念
3.2 树和生成树
3.3 欧拉图与哈密顿图
3.4 路径
3.5 平面图
3.6 本章小结
3.7 习题

第4章 代数系统

4.1 代数系统的基本概念
4.2 同态与同构
4.3 同余与商代数
4.4 群的基本概念
4.5 循环群与置换群
4.6 环和域
4.7 格与布尔代数
4.8 本章小结
4.9 习题