离散数学

;

副标题：无;

作者: 段禅伦;

内容简介：

​
前　　言
离散数学成为计算机科学及信息类专业基础理论的核心课程是计算机科学与技术飞速发展的必然结果。二十多年来，国内分别以分课型——把离散数学划分为几门课程或单课型——把分课型的几个课程糅合成一门课程的方式向本科二（或三）年级的学生开设。由于计算机科学与工程领域在很大程度上依赖离散数学提供理论工具，即使仅仅是以研究离散数学的结构和相互关系为目标，其内容的浩繁和材料的分散也足以使教师和学生感到沉重和困难，所以编写21世纪全国应用型本科计算机系列实用规划教材之一的《离散数学》，以简明的方法既叙及离散数学的主要组成内容，也介绍它在专业中的重要应用，以普通高等院校计算机科学及信息类专业教学使用为度，不去讨论那些高深的高级课题，但强调专业应用示例，应当说这是教学改革的需要。作者以己力不从心的能力完成这一尝试，是多年教学中师生共同琢磨和尽可能地广收各家之长的结果。
本书适合做计算机科学及信息类专业本科生、研究生离散数学课程的教材或教学参考书，也适合成为计算机工作者拓广理论基础而自学的读本。
全书共8章，在编排上，供各章节教学选用的例子以练习形式编于各章节之后并在附录中附有练习题的提示及答案。配套的习题另编于各章之后，以便于作业使用。这样做的目的旨在更加适应各个层次读者的不同需要。
本书在成书过程中，得到了北京大学出版社第六事业部的全力支持和指导，特别是周欢编辑的精心编审，为本书润色许多，作者在这里向他们表示诚挚的谢意。
由于作者水平有限，书中缺点在所难免，恳请读者多多指正。

作　　者　　　　　　
2005年12月于呼和浩特

目录预览：

​ 离散数学 (21世纪全国应用型本科计算机系列实用规划教材)
目录
扉页
版权页
专家编审委员会
分系列专家编审委员会名单
信息技术的应用化教育
本系列教材编写目的和教学服务
前言
第1章　命题逻辑
引言
1.1　命题及其表示
1.2　逻辑联词
1.3　命题公式与真值函数
1.4　真值表与等值公式
1.5　重言式与蕴涵式
1.6　其他逻辑联词及逻辑联词完备集
1.7　对偶和对偶定律
1.8　范式
1.9　命题演算推理理论
1.10　命题演算的形式系统
1.11　应用举例
习题一
第2章　一阶谓词逻辑
引言
2.1　谓词与个体
2.2　命题函数与量词
2.3　一阶谓词公式
2.4　变元的约束与自由
2.5　普遍有效式及等值式与蕴涵式
2.6　一阶谓词公式的两种范式
2.7　一阶谓词演算的推理理论
2.8　一阶谓词逻辑的形式系统
2.9　应用举例
习题二
........