离散数学基础教程
点此进入淘宝搜索页搜索分類: 图书,计算机/网络,计算机理论,
作者： 徐洁磐编
出 版 社： 机械工业出版社
出版时间： 2009-7-1字数：版次： 1页数： 229印刷时间：开本： 16开印次：纸张：I S B N ： 9787111274315包装： 平装编辑推荐
本书凝聚了作者多年的研究成果和实践经验，是一本优秀的离散数学入门教材。全书共五篇12章，将离散数学按总论，主要内容及应用的顺序进行讲解，其中主要内容部分讲述离散数学中的4个核心内容（集合论、代数系统、图论与数理逻辑），应用部分在国内首次系统引入和介绍了离散建模的相关内容，并将离散数学与计算机以及IT领域应用相结合，从而使离散数学这门课程真正融入计算机及信息技术领域中。
本书特点：
少而精原则：内容选材坚持少而精，选取具有代表性的核心内容，通过精讲精练达到举一反三的效果；同时减少过子繁琐的证明环节，因而做到篇幅短小，适合目前精简学时的教学需要。
释义清楚：对基本概念与性质给出详细的释义，不但介绍了数学的抽象表示，而且更注重其形式语义，使学生掌握它们的精髓并能灵活应用。
学以致用：增设离散建模内容，介绍离散建模的一般原理，并精选5个著名实例，使学生初步掌握运用离散数学作为工具来解决实际问题的能力。
适合教学：配有大量习题及思考题，同时每章都有学习小结，每篇有学习总结；全书配有电子教案，可供教师教学之用。
内容简介
本书共五篇12章，将离散数学按总论、主要内容及应用的顺序进行讲解，其中主要内容部分讲述离散数学中的四个核心内容（集合论、代数系统、图论与数理逻辑），应用部分在国内首先系统引入和介绍了离散建模的相关内容，并将离散数学与计算机以及IT领域应用相结合，从而使离散数学这门课程真正融入计算机及信息技术领域中。
全书在内容选材上上坚持少而精，选取具有代表性的核心内容，通过精讲精练达到举一反三的效果；释义则以讲透、讲深为原则，不但要使学生了解数学的抽象表示，更要注重其形式语义，掌握它们的精髓并能灵活应用；增设离散建模内容，介绍离散建模的一般原理，并精选五个著名实例，使学生能初步掌握运用离散数学解决实际问题的能力。
本书可作为普通高等院校计算机及相关专业的本科离散数学课程教材，也可供计算机应用开发人员参考。
作者简介
徐洁磐，南京大学计算机科学与技术系教授，长期从事计算机理论和离散数学的教学与研究，曾任中国离散数学学会理事长，主持制订我国第一部离散数学教学大纲，编写了我国第一部原创离散数学教材《离散数学导论》（国家级规划教材），还著有《离散数学及其在计算机科学中的应用》《数据库系统实用教程》（国家级精品教材）等20余本专著和教材。
目录
序
绪言
第一篇集合论
第1章集合论基础
1.1集合的基本概念
1.2集合的表示方法
1.2.1枚举法
1.2.2特性刻划法
1.3集合概念间的关系
1.3.1集合与元素间的关系
1.3.2集合与集合间的关系
1.3.3集合相交中的两个特殊关系
1.4集合概念的基本性质
1.5集合运算
1.6集合运算的应用
1.7扩充的集合运算之一——差运算与对称差运算
1.8扩充的集合运算之二——幂运算
1.9扩充的集合运算之三——笛卡儿乘
1.9.1序偶
1.9.2笛卡儿乘
1.9.3n元有序组与n阶笛卡儿乘积
本章小结
习题一
第2章关系
2.1关系的基本概念
2.2关系的表示
2.2.1枚举法
2.2.2特性刻划法
2.2.3矩阵表示法
2.2.4图示法
2.3关系的性质
2.4关系运算
2.4.1关系的并、交、补运算
2.4.2关系的复合运算与逆运算
2.4.3关系上的闭包运算
2.5两种常用的关系
2.5.1次序关系
2.5.2等价关系
2.6n元关系
本章小结
习题二
第3章函数与无限集
3.1函数的基本概念
3.2函数的表示
3.3函数的分类
3.4函数运算
3.4.1函数的复合运算
3.4.2函数的逆运算
3.5几种常用函数
3.6多元函数
3.7有限集与无限集
本章小结
习题三
第一篇总结
第一篇附录
第二篇代数系统
第4章代数系统概论
4.1代数系统介绍
4.2代数运算中的常见性质
4.3代数系统的同态与同构
4.4代数系统的分类
本章小结
习题四
第5章群论
5.1半群
5.2群
5.2.1群及其性质
5.2.2群同态与变换群
5.2.3有限群
5.2.4循环群
5.2.5子群与正规子群
本章小结
习题五
第6章环论与格论
第三篇图论
第7章图论原理
第8章树
第四篇数理逻辑
第9章命题逻辑
第10章谓词逻辑
第五篇离散建模
第11章离散建模概念与方法
第12章离散建模应用实例
附录中英文名词对照表
参考文献
书摘插图
第一篇集合论
我们知道，世界上各门学科与各个领域的研究与应用都有特定的研究对象与目标。它们是各门学科的基础，如物理学的研究对象为客观世界中的物质，化学的研究对象为化学元素及其化合物，数学分析的研究对象是实数，计算机科学的研究对象为二进制符号串，等等。所有这些研究对象与目标均呈群体形式出现，为研究这些群体的一般性规律与特点，就出现了集合论。因此我们说，集合论是研究世界上各门学科（或领域）的一门基础学科。因此集合论是一门最基础的学科，它对人类社会中的所有学科具有指导性作用。在离散数学的多门学科中，由于集合论的基础性与指导性，因此把它作为首门学科介绍，而其他学科均是建立在集合论基础上的并需要用集合论中的理论作指导。
对集合论的研究一般采用数学的方法，故而集合论是一门数学。
首先提出集合论的人是德国数学家康托尔(G．Cantor)。他于1874年以数学为工具创立了集合论，为数学的统一提供了基础。经过了一百多年的发展，集合论已成为一闩成熟的学科，它作为当代数学大厦的一部分起到了奠基性、支撑性作用。
现代数学有两所大厦，它们分别是“连续数学”与“离散数学”。而集合论则是这两所大厦的共同基础。
在当前，集合论的作用已扩大到多个领域，这也包括扩大到计算机科学领域并已成为研究计算机科学的有力工具。
……
