本书是一本专门为计算机专业本科和专科学生编写的教材，全书的知识体系以矩阵与线性代数初步、集合与关系初步、数理逻辑初步和图论初步这4个方面为主，由浅入深涉及了计算机应用应掌握的数学基础，讲解与练习相结合，符合作为应用型大学人才培养目标的要求。编写过程中注重了“够用、实用”的编写原则，与计算机专业的特点和培养面向计算机应用软件开发人才的目标定位相一致。

第一章 矩阵
1.1 矩阵及运算
1.2 矩阵的初等变换与秩
1.3 逆矩阵
1.4 线性方程组的解
1.4.1 线性方程组解的判定
1.4.2 非齐次线性方程组
1.4.3 齐次线性方程组
1.5 练习题
第二章 集合与关系
2.1 集合的基本概念与运算
2.1.1 集合的基本概念
2.1.2 集合的运算
2.2 关系
2.3 关系的性质与运算
2.3.1 关系的性质
2.3.2 由关系图、关系矩阵判别关系的性质
2.3.3 复合关系和逆关系
2.4 次序关系
2.4.1 偏序关系和全序关系
2.4.2 等价关系与划分
2.5 练习题
第三章 图论
3.1 图的基本概念
3.1.1 图的定义及相关概念
3.1.2 结点的度
3.1.3 完全图和补图
3.1.4 子图与图的同构
3.2 图的连通性
3.2.1 通路
3.2.2 图的连通性
3.2.3 割边和割点
3.2.4 欧拉图
3.2.5 哈密顿图
3.2.6 最短路问题
3.2.7 例题解析
3.3 图的矩阵表示
3.3.1 无向图的关联矩阵
3.3.2 无环有向图的关联矩阵
3.3.3 有向图的邻接矩阵
3.3.4 无向简单图的邻接矩阵
3.3.5 有向图的可达矩阵
3.4 树
3.4.1 树的概念和性质
3.4.2 图的生成树
3.4.3 最小生成树问题
3.4.4 根树及其应用
3.5 练习题
第四章 数理逻辑
4.1 命题逻辑
4.1.1 命题与联结词
4.1.2 命题变元和合式公式
4.1.3 公式分类与等值公式
4.1.4 对偶式与重言蕴涵式
4.1.5 联结词的扩充与功能完全组
4.1.6 公式标准型——范式
4.1.7 公式的主析取范式和主合取范式
4.1.8 命题逻辑的推理理论
4.1.9 例题解析
4.2 谓词逻辑
4.2.1 个体、谓词和量词
4.2.2 谓词公式与翻译
4.2.3 约束变元与自由变元
4.2.4 公式解释与类型
4.2.5 等值式与重言蕴涵式
4.2.6 谓词公式范式
4.2.7 谓词逻辑的推理理论
4.2.8 习题解析
4.3 练习题
参考文献