离散数学(第五版)

节选

[

由耿素云、屈婉玲、张立昂主编的《离散数学(第5版北京高等教育精品教材)》自从2008年发行第四版以来,随着信息技术飞速发展和社会对高层次信息人才的迫切需求,根据教育部计算机科学与技术专业教学指导委员会提出的《计算机科学与技术专业规范》和《高等学校计算机科学与技术专业核心课程教学实施方案》的建议,结合信息管理与信息系统专业的教学要求,《离散数学(第5版北京高等教育精品教材)》第五版在保持原有写作风格的基础上,除了对文字做了进一步加工,纠正了某些疏漏以外,并对部分内容进行了调整,主要表现如下。
(1) 将代数结构部分的内容进行了整合,并调整到教材的*后。
(2) 图论部分(第5~第7章)的叙述有较大的改动。
(3) 增添了一些内容,主要是与离散数学应用相关的内容,它们是组合电路(第1章),欧拉函数(第3章),着色问题(第5章),地图着色与四色定理、格雷码(第6章)等。
(4) 对部分习题做了补充和调整。

]

内容简介

[

　　《离散数学（第五版）》包括数理逻辑、集合论，图论、组合分析初步、代数结构和形式语盲与自动机初步等6个方面的内容．
　　书中概念论述清楚，内容丰富，通俗易懂，并且着重于概念的应用，而不着重于定理的证明，每章后均附有习题，建议学时60～80．

　　《离散数学（第五版）》可以作为计算机及信息管理等相关专业本科生的教材，也可以作为计算机技术与软件专业技术资格(水平)考试的参考书，同时还可以供从事计算机软件、硬件开发和应用的人员使用．另有配套教材《离散数学题解(第五版)》．

　　《离散数学（第五版）》是北京高等教育精晶教材。
 

]

目录

《离散数学（第五版）》第1章命题逻辑1.1命题符号化及联结词1.2命题公式及分类1.3等值演算1.4范式1.5联结词全功能集1.6组合电路1.7推理理论1.8题例分析习题第2章一阶逻辑2.1一阶逻辑基本概念2.2一阶逻辑合式公式及解释2.3一阶逻辑等值式与前束范式2.4题例分析习题第3章集合的基本概念和运算3.1集合的基本概念3.2集合的基本运算3.3集合中元素的计数3.4题例分析习题第4章二元关系和函数4.1集合的笛卡儿积与二元关系4.2关系的运算4.3关系的性质4.4关系的闭包4.5等价关系和偏序关系4.6函数的定义和性质4.7函数的复合和反函数4.8题例分析习题第5章图的基本概念5.1无向图及有向图5.2通路、回路和图的连通性5.3图的矩阵表示5.4*短路径、关键路径和着色5.5题例分析习题第6章特殊的图6.1二部图6.2欧拉图6.3哈密顿图6.4平面图6.5题例分析习题第7章树7.1无向树及生成树7.2根树及其应用7.3题例分析习题第8章组合分析初步8.1加法法则和乘法法则8.2基本排列组合的计数方法8.3递推方程的求解与应用8.4题例分析习题第9章代数系统简介9.1二元运算及其性质9.2代数系统9.3几个典型的代数系统9.4题例分析习题第10章形式语言和自动机初步10.1形式语言和形式文法10.1.1字符串和形式语言10.1.2形式文法10.1.3形式文法的分类10.2有穷自动机10.2.1基本概念10.2.2非确定型有穷自动机10.2.3带ε转移的非确定型有穷自动机10.3有穷自动机和正则文法的等价性10.4图灵机10.4.1图灵机的基本模型10.4.2用图灵机计算函数10.5题例分析习题

封面

书名:离散数学(第五版)

作者:耿素云，张立昴　编著

页数:257

定价:¥33.0

出版社:清华大学出版社

出版日期:2013-07-01

ISBN:9787302325079

PDF电子书大小:85MB 高清扫描完整版