离散数学

书名：离散数学
作者：程虹主编
ISBN：978-7-5772-2245-5
出版社：华中科技大学出版社
出版日期：2025.09
离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般的是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点，计算机科学中的程序设计语言、数据结构、操作系统、数据库技术、编译理论、算法分析、可计算性与计算复杂性理论、逻辑设计、系统结构、容错诊断、人工智能与机器人、机器定理证明等理论课程都是以离散数学为基础的。