离散数学
1999-9-1
清华大学
屈婉玲,耿素云,张立昂
234
362000
无
本书包括以下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 题例分析 习题第八章 一些特殊的图……第九章 树第十章 组合分析初步第十一章 形式语言和自动机初步
无