离散数学

图书标准信息

• 作者 王遇科 编
• 出版社 北京理工大学出版社
• 出版时间 1986-01
• 版次 1
• ISBN 9787810131865
• 定价 14.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 370页
• 字数 255千字

【内容简介】

《离散数学》是计算机科学和信息科学的数学基础。全书共分七章，介绍了数理逻辑、集合、代数结构和图论等基础内容。本书叙述较为详细，针对性强，书中给出了较多实例，每一小节都附有习题，便于广大读者自学之用。

【目录】

第一章　命题逻辑

引言

  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　特殊图