正文语种: 简体中文

开本: 16

ISBN: 7505399780

条形码: 9787505399785

尺寸: 25.6 x 18 x 0.8 cm

重量: 322 g

书评

本书是为计算机科学等专业的学生写的一本离散教学基础教材。理论部分取材于数学的几个与计算机 学科联繫紧密的的理论分支，并且在不致与其他课程内容重複的宗旨下，儘可能地给出了一些运用数学理论解决专业问题的实例。

本教材的很多专题是从日常生活问题引出的，并有大量的例题和练习，行文也力求通俗。本书也可供希望了解离散数学内容的读者自学之用，本书配有电子教案和习题解答。

第一章 绪论

1.1 离散数学的研究对象

1.2 离散数学的主要内容

1.3 学习离散数学的方法

第二章 数理逻辑

2.1 命题

2.2 命题联结词

2.3 命题的合式公式

2.4 真值表、永真式和永假式

2.5 公式的等价和蕴含

2.6 公式的主範式

2.7 命题演算的推理理论

2.8 命题逻辑和二值逻辑器件

2.9 一阶谓词逻辑

2.10 命题函式和个体变数及量词

2.11 谓词公式

2.12 谓词演算的推理理论

第三章 集合和关係

第四章 数函式和递推关係

第五章 图论

第六章 代数系统

第七章 格与布尔代数

参考文献