内容简介
离散数学是教育部教学指导委员会规定的计算机类相关专业的核心课程,讲授的内容主要是在计算机及其相关专业中应用广泛的关于离散结构的数学知识,例如集合论、数理逻辑、图论、代数系统、形式语言理论和组合理论等。本教材是在四位老师多年讲授《离散数学》课程的讲义基础上,融合了多年的教学实践的经验,扩充形成的。本教材在注重离散数学基础知识的基础初上,增加了离散数学在信息技术中的应用情况的介绍,例如,介绍了集合论在数据库理论和在粗糙集理论中的应用,介绍了逻辑式的程序设计语言和自动定理证明的成果,介绍了图论的知识在印刷板电路平面化方面和文件压缩方面、以及代码优化方面的应用;介绍了形式文法和自动机理论在编译系统中的应用,介绍了递归论在程序设计和算法分析方面的应用。
作者介绍
栾尚敏,男,1968年出生,教授,博士毕业于北京航空航天大学,博士后出站于中国科学院软件研究所,曾经在山东大学、北京理工大学、中国科学院软件研究所工作,目前就职于华北科技学院。主要从事计算机软件与理论、人工智能的研究工作,发表论文50余篇,这些论文发表在《Logic Journal of IGPL》、《Science in China:Series F》、《Journal of Computer Science and Technology》、《中国科学:信息科学》、《中国科学:技术科学》、《计算机学报》、《软件学报》、《计算机研究与发展》等刊物,SCI收入12篇,EI收入9篇。
文小艳,女,1978年出生,讲师,硕士毕业于兰州大学计算数学专业,目前就职于华北科技学院。主要从事计算数学和应用数学的教学和科研工作,在相关期刊上发表论文十余篇。