离散数学及应用

本书是按国家教育部离散数学教学大纲的精神，并根据笔者多年来从事离散数学课程的教学实践经验以及计算机科研工作经验编写而成。主要内容包括数理逻辑、集合论、图论、代数结构四个基本部分及应用部分。应用部分主要介绍用计算机化简逻辑函数、形式语言与自动机这两个专题。