离散数学
邱学绍
清华大学出版社
出版时间：
2005-9
出版社：
清华大学出版社
作者：
邱学绍
Tag标签：
无
内容概要
本书系统地介绍了集合论、数理逻辑、图论和代数结构等离散数学的基本知识，在内容安排上突出由浅入深、循序渐进、通俗易懂的特点，非常适合普通高等院校计算机及相关专业的本科生作为教材使用，也可供一般科技人员作为参考书。
书籍目录
前言第1章 预备知识 1.1 集合的初步知识 1.2 集合的关系与运算 1.3 有限集合中元素的计数 1.4 整数的基本性质 1.5 例题解析 复习题1第2章 命题逻辑 2.1 命题与命题联结词 2.2 命题公式及其分类 2.3 等价演算 2.4 其他常用联结词及功能完备集 2.5 对偶与范式 2.6 推理理论 2.7 命题逻辑在门电路中的应用介绍 2.8 例题解析 复习题2第3章 谓词逻辑 3.1 谓词逻辑的基本概念 3.2 谓词全成公式及解释 3.3 谓词逻辑等值式 3.4 谓词逻辑推理理论 3.5 例题解题 复习题3第4章 关系 4.1 有序对与笛卡尔各 4.2 关系及其表示 4.3 复合关系与逆关系 4.4 关系的性质 4.5 关系的闭包 4.6 等价关系 4.7 相容关系 4.8 偏序关系 4.9 例题解析 复习题4第5章 函数第6章 图论基础第7章 特殊图类第8章 代数系统第9章 特殊的代数系统第10章 格和布尔代数参考文献
图书封面
图书标签Tags
无
广告
下载页面