第1章 集合论初步1.1 集合的概念1.1.1 集合1.1.2 集合的表示1.1.3 集合上的包含关系1.1.4 特殊集合习题1.11.2 集合的运算1.2.1 集合交、并和补的运算1.2.2 集合交、并和补运算的性质1.2.3 其他运算及其性质1.2.4 利用集合的编码表示运算习题1.21.3 有穷集合的计数习题1.3第2章 关系2.1 集合的笛卡儿积和二元关系的概念2.1.1 笛卡儿积2.1.2 二元关系的概念2.1.3 二元关系的表示习题2.12.2 二元关系的特性习题2.22.3 二元关系运算2.3.1 交、并和补运算2.3.2 逆运算和复合运算2.3.3 投影、选择和联系的运算2.3.4 闭包习题2.32.4 等价关系和相容关系2.4.1 等价关系2.4.2 模m同余关系2.4.3 等价关系和划分2.4.4 相容关系习题2.42.5 序关系2.5.1 偏序关系2.5.2 偏序集中具有特殊位置的元素2.5.3 拟序、全序和良序习题2.52.6 函数2.6.1 函数的概念2.6.2 特殊函数2.6.3 函数的逆和复合习题2.6第3章 代数系统3.1 运算和代数系统3.1.1 运算3.1.2 运算性质3.1.3 运算性质示例3.1.4 代数系统习题3.13.2 半群和群3.2.1 半群、含幺半群和群3.2.2 交换半群、交换独异点和交换群3.2.3 幂3.2.4 性质习题3.23.3 子半群和子群3.3.1 子代数3.3.2 子半群3.3.3 子群习题3.33.4 循环群3.4.1 元素周期3.4.2 循环群概念3.4.3 循环群和循环子群的性质习题3.43.5 置换群3.5.1 概念3.5.2 伯恩赛德定理习题3.53.6 同态和同构初步3.6.1 同态和同构定义3.6.2 代数系统中关于同态与同构的性质3.6.3 同态核 3.6.4 同余关系 习题3.63.7 环和域3.7.1 环3.7.2 整环、除环和域习题3.7第4章 格和布尔代数4.1 格4.1.1 偏序集中的格4.1.2 偏序集中与格有关的性质4.1.3 对偶原理4.1.4 格的代数性质4.1.5 子格和格同态习题4.14.2 格的分类4.2.1 有界格4.2.2 有补格4.2.3 分配格4.2.4 有补分配格习题4.2第5章 命题逻辑5.1 命题符号化5.1.1 命题5.1.2 命题的联结词5.1.3 合式公式5.1.4 真值函数5.1.5 全功能集习题5.15.2 等值演算和范式5.2.1 恒等式和永真蕴涵式5.2.2 范式习题5.25.3 逻辑推理5.3.1 推理的形式结构5.3.2 推理系统5.3.3 证明方法习题5.35.4 例题与分析第6章 谓词逻辑6.1 谓词和量词6.1.1 个体词和谓词6.1.2 量词习题6.16.2 谓词逻辑公式及解释习题6.26.3 等价值蕴涵和前束范式习题6.36.4 谓词的逻辑推理理论习题6.4第7章 图论初步7.1 图的基本概念7.1.1 定义7.1.2 顶点的度7.1.3 特殊的图7.1.4 图的同构习题7.17.2 通路、回路和连通性7.2.1 通路和回路7.2.2 无向图的连通性7.2.3 有向图的连通性7.2.4 图的连通性和等价关系习题7.27.3 图的矩阵表示习题7.3第8章 典型的图及其应用8.1 无向树和生成树习题8.18.2 有向树及其应用8.2.1 有向树的概念8.2.2 根树转化成二元树8.2.3 *优树8.2.4 前缀码8.2.5 树的遍历习题8.28.3 欧拉图和哈密顿图习题 8.38.4平面图和图的着色习题8.4附录A 部分习题参考答案附录B 符号表参考文献