图书信息

内容简介

媒体评论

目录

图书信息

出版社: 电子工业出版社; 第2版 (2004年1月1日)

平装: 194页

正文语种: 简体中文

开本: 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 谓词演算的推理理论

第三章 集合和关系

第四章 数函数和递推关系

第五章 图论

第六章 代数系统

第七章 格与布尔代数

参考文献