离散数学导学

本书通过大量简单易懂的示例和练习介绍了有关离散数学的基本概念与基础知识，并把理论知识与一系列实际应用联系起来。主要内容包括：命题逻辑和谓词逻辑、类型集合论、布尔代数、关系、函数、序列、归纳法、图论、组合数学等。通过适当的教学方法，可以加深学生对离散数学的理解。
本书适合所有学习离散数学的学生，并可作为相关专业的教材。

出版者的话
专家指志委员会
译者序
第1章导论
1.1学习动机
1.2教材内容
1.3组织结构
第2章数
2.1自然数
2.2Peano算术
2.3其他类型的数
2.4附加练习
2.5练习解答
第3章命题逻辑
3.1原子命题
3.2真值
3.3否定运算符
3.4合取运算符
3.5析取运算符
3.6蕴合运算符
3.7等值运算符
3.8运算的优先级
3.9重言式、矛盾式和不定式
3.10真值表
3.11等值推理
3.12自然演绎
3.13附加练习
3.14练习解答
第4章集合论
4.1集合
4.2单集
4.3空集
4.4集合成员
4.5子集
4.6超集
4.7集合的并集
4.8集合的交集
4.9集合的差集
4.10有关集合的推理
……
第5章布尔代数
第6章类型集合论
第7章谓词逻辑
第8章关系
第9章函数
第10章序列
第11章归纳法
第12章图论
第13章组合数学
第14章应用实例
参考文献

AndrewSimpson目前任教于牛津大学，担任软件工程项目主任。他拥有牛津大学的计算机专业硕士和博士学位。他曾在牛津大学、牛津鲁斯金等学院和北伦敦大学讲授各种层次离散数学课程，拥有丰富的教学经验和理论知识，以在教学中善于结合实际需求著称。

数据仓库(原书第3版)
神经网络原理(原书第２版)
编译原理
并行计算导论（原书第2版）
数据库系统全书
数据库设计教程（第２版）
信息论、编码与密码学
组合数学（原书第4版）
3D游戏 卷1 实时渲染与软件技术
数字图像处理疑难解析
现代信息检索
CAXA数控铣CAD/CAM技术
C语言的科学和艺术
计算机视觉
UNIX系统编程
并行程序设计
数据库与事务处理
操作系统
现代操作系统（第2版）
计算机网络：自顶向下方法与Internet特色（原书第3版）
高级编译器设计与实现
3D计算机图形学（原书第3版）
计算机网络与因特网（原书第4版）
计算机科学概论（原书第2版）
人工智能:英文
可扩展并行计算技术、结构与编程
Java面向对象程序设计教程
嵌入式微控制器
模式分析的核方法
微机接口技术实验教程