离散数学

出版时间：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　特殊图