内容简介
书是面向高职专院校编写的，内容包括集合论、代数理论、数理逻辑和图论4部分，共8章。本书的特点是简洁、易懂，注重理论联系实际与解题的思路和方法。
本书可作为高职高专计算机专业的教材，也可以作为提高各类非计算机专业的教学素养和数学思维训练的教材。
目录
第1章 集合论初步
1.1 集合的概念
1.2 集合的运算
1.3 有穷集合的计数
第2章 关系
2.1 集合的笛卡儿积和二元关系的概念
2.2 二元关系的特性
2.3 二元关系运算
2.4 等价关系和相容关系
2.5 序关系
2.6 函数
第3章 代数系统
3.1 运算和代数系统
3.2 半群与群
3.3 子半群和子群
3.4 循环群
3.5 置换群
3.6 同态和同构初步
3.7 环和域
第4章 格和布尔代数
4.1 格
4.2 格的分类
第5章 命题逻辑
5.1 命题符号化
5.2 等值演算和范式
5.3 逻辑推理
5.4 例题与分析
第6章 谓词逻辑
6.1 谓词和量词
6.2 谓词逻辑公式及解释
6.3 等价值蕴涵和前束范式
6.4 谓词的逻辑推理理论
第7章 图论初步
7.1 图的基本概念
7.2 通路、回路和连能性
7.3 图的矩阵表示
第8章 典型的图及其应用
8.1 无向树和生成树
8.2 有向树及其应用
8.3 欧拉图和哈密顿图
8.4 平面图和图的着色
附录A 部分习题参考答案
附录B 符号表
参考文献
