离散数学
陶涛
北京理工大学出版社
出版时间：
2000-02
出版社：
北京理工大学出版社
作者：
陶涛
页数：
406
字数：
279000
内容概要
本书介绍计算机专业最需要的离散数学基础知识，共分八章，包括集合、二元关系、函数、代数结构简介、命题逻辑、谓词演算、格和布尔代数、图论等基本内容。叙述深入浅出，书中列举了较多的例题，每节后面都附有一定数量习题，每章后都有小结便于总结提高。本书是中等专业学校统编教材，也可供有关人员自学参考。
书籍目录
第一章 集合 1-1 集合与元素 1-2 集合的包含与相等 1-3 幂集 1-4 集合运算 1-5 笛卡尔积 小结第二章 二元关系 2-1 二元关系及其表示 2-2 关系的性质 2-3 关系的运算 2-4 等价关系和相容关系 2-5 偏序关系 小结第三章 函数 3-1 函数 3-2 复合函数 3-3 置换 3-4 数学归纳法 3-5 特征函数与模糊集合 小结第四章 代数结构简介 4-1 代数结构 4-2 半群和群 4-3 子群与环 4-4 同态和同构 小结第五章 格和布尔代数 5-1 格和布尔代数 5-2 格的定义 5-3 格的性质与特殊格 5-4 布尔代数简介 小结第六章 命题逻辑 6-1 命题 6-2 命题公式及翻译 6-3 命题定律 6-4 基本联结词和蕴含关系 6-5 范式 6-6 命题演算的推理论 小结第七章 谓词演算 7-1 谓词和量词 7-2 谓词公式 7-3 谓词演算的等价与蕴含式 7-4 谓词演算的推理理论 小结第八章 图论初步 8-1 图的基本概念 8-2 路与回路 8-3 邻接矩阵和关联矩阵 8-4 欧拉图 8-5 哈密尔顿图 8-6 平面图及偶图 8-7 对偶图与图的着色 8-8 树 小结参考文献
图书封面
广告
下载页面