计算机类专业教育 > 数据结构与算法类
离散数学
书号：9787113077433 套系名称：21世纪高等院校计算机教材
作者：李昆仑 等 出版日期：2007-05-01
定价：22.00 页码 / 开本：0 /16
策划编辑：无 责任编辑：无
适用专业：无 适用层次：本科/高职高专
最新印刷时间：
资源下载
教学课件
教学素材(暂无)
习题答案(暂无)
教学案例(暂无)
教学设计(暂无)
教学视频(暂无)
内容简介
前言
目录
作者介绍
图书特色
本书介绍了离散数学基础知识和应用方法。全书共分四编。第一编为数理逻辑，其中包括命题逻辑、一阶谓词逻辑。第二编为集合论，其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。第三编为代数系统，其中包括代数系统的基本概念、几个重要的代数系统：半群、群、环、域、格与布尔代数。第四编为图论，其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其应用。为了使得内容完整，同时也为了满足不同程度读者的需要，在本书的最后还增加了两个附录，内
第1篇 数理逻辑
第1章 命题逻辑
第2章 谓词逻辑
第2篇 集合论
第3章 集合
第4章 关系
第5章 函数
第3篇 代数系统
第6章 代数系统
第7章 群、环、域
第8章 格与布尔代数
第4篇 图 论
第9章 图
第10章 特殊图
附录A 初等数论
附录B 计数原理
参考文献无
无