第一篇数理逻辑第1章命题逻辑1．1命题及其表示法和联结词1．2命题公式与翻译1．3真值表与等价式1．4公式的恒真与蕴含1．5形式演绎1．6范式与主范式第2章一阶逻辑2．1一阶逻辑的概念与表示2．2一阶逻辑公式与翻译2．3等价式与前束范式2．4一阶逻辑推理理论第二篇集合论第3章集合的基本概念与运算3．1集合的概念与表示法3．2集合的基本运算3．3笛卡尔乘积第4章关系4．1关系及其表示4．2关系的性质4．3关系的运算4．4关系的闭包4．5等价关系4．6偏序关系第5章函数5．1函数的定义和性质5．2逆函数与复合函数第三篇代数系统第6章代数结构6．1代数系统的基本概念6．2运算的性质6．3同态与同构第7章群论7．1半群与群7．2变换群与置换群7．3子群与循环群7．4陪集与不变子群7．5商群与群的同态第8章几个特殊的代数系统8．1环与域8．2格与布尔代数第四篇图论第9章图的概念9．1图的基本概念9．2图的连通性、路、回路9．3图的矩阵表示9．4权图中的最短路问题第10章特殊图10．1欧拉图10．2汉密尔顿图10．3平面图第11章树11．1无向树11．2有向树与根树11．3二叉树及其应用总复习题总复习题答案
鄂公网安备 42010302001612号 