离散数学（第二版）
|
读过这本书吗？
最近在读
读过
想读
还不熟悉
|
图书城书列：
加入到博客或社交网站：
|
|
我来评论这本书：
内容提要：
本书包括以下6个方面的内容：（1）数理逻辑；（2）集合论；（3）代数结构；（4）图论；（5）组合分析初步；（6）形式语言与自动机初步。
书中概念论述清楚，讲解详实，通俗易懂，并且着重于概念的应用，而不着重于定理的证明，每章后均附有习题。 本书可以作为计算机及相关专业本科生的教材，也可以作为计算机软件专业水平考试的参考书，同时还可以供从事计算机软件、硬件研究开发和应用的人员使用，另有配套教材《离散数学题解》。 作者简介：
编辑推荐：
目录：
第一章 命题逻辑
1 命题符号化及联结词 2 命题公式及分类 3 等值演算 4 联结词全功能集 5 对偶与范式 6 推理理论 7 题例分析 习题 第二章 一阶逻辑 1 一阶逻辑基本概念 2 一阶逻辑合式公式及解释 3 一阶逻辑等值式 4 一阶逻辑推理理论 5 题例分析 习题 第三章 集合的基本概念和运算 1 集合的基本概念 2 集合的基本运算 3 集合中元素的计数 4 题例分析 习题 第四章 二元关系和函数 1 集合的笛卡儿积与二元关系 2 关系的运算 3 关系的性质 4 关系的闭包 5 等价关系与偏序关系 6 函数的定义和性质 7 函数的定义和性质 8 题例分析 习题 第五章 代数系统的一般性质 1 二元运算及其性质 2 代数系统及其子代数和各代数 3 代数系统的同态与同构 4 题例分析 习题 第六章 几个典型的代数系统 1 半群与群 2 环与域 3 格与布尔代数 4 题例分析 习题 第七章 图的基本概念 1 无向图及有向图 2 通路、回路、图的连通性 3 图的矩径及关键路径 4 最短路径及关键路径 5 题例分析 习题 第八章 一些特殊的图 …… 第九章 树 第十章 组合分析初步 第十一章 形式语言和自动机初步 前言：
第一版前言
本书是根据"计算机专业技术资格和水平考试大纲"的要求编写的，是"全国计算机软件专业技术资格和水平考试系列教材"之一，它是高级程序员级和系统分析员级的离散数学教材。离散数学是现代数学的重要分支，是计算机科学理论的基础。本书共含六个方面的内容：(1)数理逻辑；(2)集合论；(3)代数结构；(4)图论；(5)组合分析初步；(6)形式语言与自动机初步。
数理逻辑与图论(第一、二、七、八、九章)由耿素云编写；集合论、代数结构、组合分析初步(第三、四、五、六、十章)由屈婉玲编写；形式语言与自动机初步(第十一章)由张立昂编写。
根据资格和水平考试的特点，本书着重于基本概念的论述和应用..
|