内容简介
用于计算机科学的离散数学是大学一、二年级既难教又难学的一门课程。本书深入浅出，由简及繁，将定义和理论抽象压缩到最低限度。除仍像前两版那样以关系和有向图作为中心外，本书增加了较大的灵活性和模块性。本书11章分别为： 基础；逻辑；计数；关系和有向图；函数；图论问题；有序关系及结构；树；半群和群；语言和有限状态机；群和编码。除新增一章图论外，还增加了一些新的小节如： 数学结构，谓词演算，递归关系，用于计算机科学的函数，函数的序，最小生成树。附录B离散数学实验是新增加的；此外，有关递归、逻辑及验证也引入了更多的新材料，排列和组合的表达形式有了扩展，每章都增加了编码练习。本书既可作数学也可作计算机科学或计算机工程课的教材。