本课程是“计算机科学与技术”、“软件工程”、“网络工程”、“智能科学与技术”等专业的核心技术基础课，它为培养计算机系统设计、人工智能、数据库等人才方面具有重要的作用。

    教学内容包括: 命题演算基础；命题演算推理理论；谓词演算基础；谓词演算的推理理论；递归函数论；集合；关系；函数与集合的势；图；树与有序树；群与环.

    离散数学以研究离散量的结构和相互间的关系为主要目标，旨在介绍离散数学的各个分支的基本概念、基本理论和基本方法。通过本课程的学习使学生掌握离散数学的基本理论及其应用方法，具备知识表示、知识推理的能力及构建递归结构、数据关系、抽象代数系统的能力，为后续课程的学习和研究打下良好的基础。    

卷面成绩占80%，平时占20%