第一篇 数理逻辑
第一章 命题逻辑
第一节 命题与联结词
第二节 命题公式及解释
第三节 联结词扩充与全功能集
第四节 范式
第五节 公式类型的判别方法
第六节 推理论
习题一
第二章 谓词逻辑
第一节 谓词逻辑基本概念与表示
第二节 合式公式与解释
第三节 前束范式
第四节 谓词逻辑推理论
习题二
第二篇 集合论
第三章 集合
第一节 集合及其表示
第二节 集合间的关系
第三节 集合的运算
第四节 容斥原理及其应用
习题三
第四章 关系
第一节 序偶与笛卡尔积
第二节 关系的概念及其表示
第三节 关系的性质
第四节 关系的复合运算和逆运算
第五节 关系的闭包运算
第六节 等价关系与划分
第七节 相容关系与覆盖
第八节 偏序集和哈塞图
第九节 全序和良序
习题四
第五章 映射
第一节 映射的概念
第二节 映射的运算
第三节 可数集和不可数集
第四节 基数的比较
习题五
第三篇 代数系统
第六章 代数结构
第一节 代数运算
第二节 代数系统
第三节 运算的性质
第四节 同态与同构
习题六
第七章 群论
……
第八章 几个特殊的代数系统
第四篇 图论
第九章 图的基本概念
第十章 Euler图与Harmilton图
第十一章 树和林
第十二章 平面图
习题答案与提示
参考文献
鄂公网安备 42010302001612号 