离散数学 (第二版) 作者:耿素云等

零捌图书网

首页 - 计算机 - 计算机理论与方法 - 计算机数学/离散数学 -> 离散数学 (第二版)

书名:离散数学 (第二版)
作者:耿素云等
译者:
出版社:清华大学出版社
价格:19元

简介

本书包括以下6个方面的内容：（l）数理逻辑；（2）集合论；（3）代数结构；（4）图论；（5）组合分析初步；（6）形式语言与自动机初步。书中概念论述清楚，讲解详实，通俗易懂，并且着重于概念的应用，而不重于定理的证明。每章后均附有习题。本书既可以作为计算机专业本科或专科（去掉带*的章）的教材，也可以作为计算机软件专业水平考试的参考书。同时还可以供从事计算机软件、硬件研究开发和应用人员使用。

第1章命题逻辑11.1命题符号化及联结词11.2命题公式及分类51.3等值演算81.4联结词全功能集121.5对偶与范式141.6推理理论221.7题例分析25习题30第2章一阶逻辑342.1一阶逻辑基本概念342.2一阶逻辑合式公式及解释382.3一阶逻辑等值式432.4一阶逻辑推理理论462.5题例分析49习题52第3章集合的基本概念和运算573.1集合的基本概念573.2集合的基本运算593.3集合中元素的计数643.4题例分析67习题70第4章二元关系和函数754.1集合的笛卡儿积与二元关系754.2关系的运算794.3关系的性质844.4关系的闭包874.5等价关系和偏序关系894.6函数的定义和性质934.7函数的复合和反函数974.8题例分析100习题105第5章代数系统的一般性质1115.1二元运算及其性质1115.2代数系统及其子代数和积代数1175.3代数系统的同态与同构1195.4题例分析121习题124第6章几个典型的代数系统1286.1半群与群1286.2环与域1356.3格与布尔代数1386.4题例分析141习题143第7章图的基本概念1477.1无向图及有向图1477.2通路、回路、图的连通性1527.3图的矩阵表示1557.4最短路径及关键路径1587.5题例分析162习题165第8章一些特殊的图1688.1二部图1688.2欧拉图1708.3哈密尔顿图1718.4平面图1738.5题例分析178习题180第9章树1839.1无向树及生成树1839.2根树及其应用1859.3题例分析190习题194第10章组合分析初步19710.1加法法则和乘法法则19710.2基本排列组合的计数方法19810.3题例分析204习题206第11章形式语言和自动机初步20911.1形式语言和形式文法20911.2有穷自动机21611.3有穷自动机和正则文法的等价性22111.4图灵机224习题230

零八图书网地图分类友情链接：中国书网稀缺复印分站