离散数学
郭荣冰，常荆燕主
湖北武汉理工大学
出版时间：
2004-4
出版社：
湖北武汉理工大学
作者：
郭荣冰，常荆燕主
页数：
125
字数：
167000
内容概要
本书是根据教育部颁发的关于高职高专“离散数学”课程的基本要求而编写的“创新”教材, 分为数理逻辑, 集合、关系与函数, 代数系统, 图论等四章内容。用“类比法”、“对偶法”突出实用，通俗易懂，由浅入深，通过五个环节，便于培养学生自学和解决问题的能力。 本书可作为高职高专计算机专业及相关专业的教材，还可供技术人员自学或教师教学参考。
书籍目录
1 数理逻辑 1.1 命题、联结词与公式 习题1.1 1.2 公式的等价与蕴含 习题1.2 1.3 公式的主范式 习题1.3 1.4 推理理论 习题1.4 1.5 谓词逻辑 习题1.52 集合、关系和函数 2.1 集合和集合的运算 习题2.1 2.2 关系 习题2.2 2.3 等价关系和集合的划分 习题2.3 2.4 序关系和哈斯图 习题2.4 2.5 函数 习题2.53 代数结构 3.1 代数系统 习题3.1 3.2 半群和独异点 习题3.2 3.3 群与子群 习题3.3 3.4 环与域 习题3.4 3.5 格、子格与布尔代数 习题3.54 图论 4.1 图的基本概念 习题4.1 4.2 图的连通性 习题4.2 4.3 图的矩阵表示 习题4.3 4.4 树、生成树、有向树及其应用 习题4.4 4.5 欧拉图、哈密顿图、平面图 习题4.5参考答案参考文献
图书封面
广告
下载页面