离散数学
2005-3
人民教育出版社
课程教材研究所数学课程教材研究开发中心
299
240000
无
本书选取离散数学中最基础的、在各领域中有着广泛应用的数理逻辑、集合论、代数系统和图论等四篇为主要内容．包含命题逻辑、谓词逻辑、集合、关系、映射、代数结构、群论、几个特殊的代数系统、图的基本概念、Euler图与Hamilton图、树和林及平面图等十二章．每章后面配有适量的习题，书末附有习题答案或提示． 本书本着简明、易学、实用的原则，选材恰当，结构严谨，叙述详细，通俗易懂。本书配有较多例题，便于自学，适应性广，伸缩性强．可作为普通高等院校计算机专业离散数学课程的教材，亦可作为各大专院校的专科教材或函授教材。
第一篇 数理逻辑 第一章 命题逻辑 第一节 命题与联结词 第二节 命题公式及解释 第三节 联结词扩充与全功能集 第四节 范式 第五节 公式类型的判别方法 第六节 推理论 习题一 第二章 谓词逻辑 第一节 谓词逻辑基本概念与表示 第二节 合式公式与解释 第三节 前束范式 第四节 谓词逻辑推理论 习题二 第二篇 集合论 第三章 集合 第一节 集合及其表示 第二节 集合间的关系 第三节 集合的运算 第四节 容斥原理及其应用 习题三 第四章 关系 第一节 序偶与笛卡尔积 第二节 关系的概念及其表示 第三节 关系的性质 第四节 关系的复合运算和逆运算 第五节 关系的闭包运算 第六节 等价关系与划分 第七节 相容关系与覆盖 第八节 偏序集和哈塞图 第九节 全序和良序 习题四 第五章 映射 第一节 映射的概念 第二节 映射的运算 第三节 可数集和不可数集 第四节 基数的比较 习题五 第三篇 代数系统 第六章 代数结构 第一节 代数运算 第二节 代数系统 第三节 运算的性质 第四节 同态与同构 习题六 第七章 群论 …… 第八章 几个特殊的代数系统第四篇 图论 第九章 图的基本概念 第十章 Euler图与Harmilton图 第十一章 树和林 第十二章 平面图习题答案与提示参考文献
无