离散数学（第二版）

图书标准信息

• 作者 耿素云 编
• 出版社 清华大学出版社
• 出版时间 2004-06
• 版次 2
• ISBN 9787302037224
• 定价 19.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 234页
• 字数 362千字

【内容简介】

本书包括以下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 题例分析

 习题

第八章 一些特殊的图

……

第九章 树

第十章 组合分析初步

第十一章 形式语言和自动机初步