第1章 基础知识
练习1.1 集合与子集
练习1.2 序列
练习1.3 整数的除法
练习1.4 矩阵
练习1.5 数学结构
练习1.5
自测题1
第2章 逻辑
练习2.1 命题和逻辑运算
练习2.2 条件命题
练习2.3 证明方法
练习2.4 数学归纳法
自测题2
第3章 计数
练习3.1 叠加原理
练习3.2 排列
练习3.3 组合
练习3.4 鸽巢原理
练习3.5 概率基础
练习3.6 递归关系
自测题3
第4章 关系
练习4.1 乘积集合
练习4.2 关系和有向图
练习4.3 关系和有向图中的路径
练习4.4 关系的性质
练习4.5 等价关系
练习4.6 关系的计算机表示
练习4.7 关系的运算
练习4.8 闭包
自测题4
第5章 函数
练习5.1 函数
练习5.2 计算机科学中的函数
练习5.3 函数的增长
练习5.4 排列函数
自测题5
第6章 序关系和结构
练习6.1 偏序集合
练习6.2 偏序集合的极值元素
练习6.3 格
练习6.4 有限布尔代数
练习6.5 布尔代数上的函数
练习6.6 电路设计
自测题6
第7章 树
练习7.1 树
练习7.2 标记树
练习7.3 树搜索
练习7.4 无向树
练习7.5 最小生成树
自测题7
第8章 图论
练习8.1 图
练习8.2 欧拉路径及回路
练习8.3 哈密尔顿路径及回路
练习8.4 运输网
练习8.5 图着色
自测题8
第9章 半群和群
练习9.1 二元运算回顾
练习9.2 半群
练习9.3 半群的积和商
练习9.4 群
练习9.5 群的积和商
自测题9
第10章 语言和有限状态机
练习10.1 语言
练习10.2 语法和语言的表示
练习10.3 有限状态机?
练习10.4 半群、机器和语言
练习10.5 机器和正则语言
练习10.6 机器简化
自测题10
第11章 群和编码
练习11.1 二进制编码和错误检测
练习11.2 解码和纠错
自测题11