| 《离散数学(第3版)》 第一部分数理逻辑 第1章命题逻辑演算系统 1．1命题逻辑演算系统的概念 1．2命题公式与真值表 1．3等价式与蕴含式 1．4范式与对偶式 1．5命题演算的推理理论 习题 第2章一阶谓词逻辑演算系统 2．1谓词命题 2．2谓词命题公式及约束变元 2．3谓词逻辑演算的等价式和蕴含式 2．4谓词逻辑演算的推理理论 习题 第二部分集合论 第3章集合与关系 3．1集合及集合运算 3．2三个基本原理 3．3笛卡儿积与关系 .3．4关系的运算 3．5等价关系与相容关系 3．6次序关系 习题 第4章函数 4．1函数的概念 4．2复合函数与逆函数 4．3序数与自然数 4．4基数 习题 第三部分代数系统 第5章代数结构 5．1置换及其运算 5．2数论初步 5．3代数系统的概念 5．4代数结构与子结构 5．5同态、同构与同余 5．6几种典型的群 5．7陪集与拉格朗日定理 5．8商代数与积代数 习题 第6章格与布尔代数 6．1格的概念 6．2几种典型的格 6．3stone表示定理 6．4布尔表达式 习题 第四部分图论 第7章图论 7．1图的基本概念 7．2路与连通性 7．3图的矩阵 7．4欧拉图与哈密尔顿图 7．5树及其应用 7．6通路问题 7．7平面图 7．8图的着色 7．9二分图与匹配 7．10网络流 习题 中英文索引 参考文献 |
内容加载中，请稍后...
商品评论（0条）