离散数学
王遇科编
北京理工大学出版社
出版时间：
1986-1
出版社：
北京理工大学出版社
作者：
王遇科编
页数：
370
字数：
255000
内容概要
《离散数学》是计算机科学和信息科学的数学基础。全书共分七章，介绍了数理逻辑、集合、代数结构和图论等基础内容。本书叙述较为详细，针对性强，书中给出了较多实例，每一小节都附有习题，便于广大读者自学之用。
书籍目录
第一章 命题逻辑引言 1-1 命题 1-2 命题演算 1-3 命题范式和判定问题 1-4 命题演算的推理理论第二章 谓词逻辑引言 2-1 谓词演算 2-2 谓词演算的永真式 2-3 谓词演算的推理理论第三章 集 合引言 3-1 集合的基本概念 3-2 集合代数 3-3 笛卡儿乘积第四章 二元关系引言 4-1 关系 4-2 等价关系 4-3 关系的合成第五章 函 数引言 5-1 函数的基本性质 5-2 几种重要函数 5-3 反函数 5-4 置换 5-5 二元运算第六章 代数系统引言 6-1 代数结构 6-2 代数系统的实例 6-3 同态和同构 6-4 同余关系 6-5 商代数 6-6 积代数第七章 图 论引言 7-1 图论的基本概念 7-2 图的矩阵表示 7-3 欧拉图与哈密顿图 7-4 特殊图
图书封面
广告
下载页面