《离散数学》课程考试大纲包含以下内容：

命题演算及其形式系统

掌握命题的概念和命题公式的概念。

熟练掌握利用求任意命题公式的析取范式、主析取范式、合取范式和主合取范式的方法。

谓词演算及其形式系统

掌握两种量词（全称量词与存在量词）及其用法。

掌握谓词公式的定义。

掌握基本的谓词演算的等价式和蕴涵式。

集合及其运算

掌握集合的概念及表示法。

理解两个集合相等的定义和充分必要条件。

掌握子集、真子集、空集、全集、幂集的定义。

熟练掌握集合的五种基本运算：并、交、补、差及其满足的性质。

关系

掌握笛卡儿积的概念。

深刻理解关系的两个定义（自反、对称、传递、反对称和反自反）。

能够判断任给的关系具有哪些性质。

熟练掌握关系的三种特殊运算：复合运算、逆运算和闭包运算。

掌握二种特殊的关系：等价关系、序关系。

函数

掌握函数的概念。

特殊函数类（如一对一函数、满射、单射）。

函数的合成。

了解逆函数。

群论

掌握代数系统的定义和有关基本概念。

熟练掌握群的定义和群的性质。

掌握子群及其陪集概念和性质。

掌握同态与同构的概念和性质。

熟练掌握群同态和同构的证明方法。

格与布尔代数

掌握格和代数格的基本概念。

掌握格的基本性质。

掌握几种特殊格的基本概念和性质（如分配格、有余格）。

这些内容构成了《离散数学》课程的考试范围和要求，考试对象主要为计算机科学与技术、信息管理与信息系统、信息安全、软件工程、网络工程、数字媒体技术专业的学生。