试卷类型一、选择题（10题，每题2分，共计20分）二、填空题（10空，每空2分，共计20分）三、选择题（8题，每空1分，共计8分）四、名词解释（3个，每个4分，共计12分）五、构造推理证明题（1题，计10分）六、计算题（共计30分）求解主析取范式或合取范式、等价关系或偏序关系哈斯图、最小生成树、求解前束范式
离散数学的定义第1章数学语言与证明方法
主要内容：集合定义，集合的两种描述方法，空集合的定义与定理及推论，子集、真子集、全集，相等集合，包括0的自然数、有理数、整数、实数集合，集合的元素个数集合的交、并、补、差、对称差、幂运算（集合的个数）定义，经过括号形成的更为复杂的集合运算，简单的可以通过文氏图来表示。
第2章命题逻辑
主要内容：命题及其真值。感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断结果不惟一确定的也不是命题。简单命题与复合命题概念，5种联结词的具体涵义、真值表与符号表示，汉语的复合句的那些联结词与它们对应，特别是相容或和排斥或的符号化表示。联结词优先级：；同级按从左到右的顺序进行命题常项、命题变项、合式公式定义，公式的赋值、真值表命题公式的分类有重言式（永真式）、矛盾式（永假式）、可满足式等值式的定义，真值表法和等值演算两种判断方法，置换规则文字、简单析取式、简单合取式、析取范式、合取范式的定义定理：1一个简单析取式是重言式当且仅当它同时含某个命题变项和它的否定；2一个简单合取式是矛盾式当且仅当它同时含某个命题变项和它的否定定理：1一个析取范式是矛盾式当且仅当它的每一个简单合取式都是矛盾式；2一个合取范式是重言式当且仅当它的每一个简单析取式都是重言式定理：任何命题公式都存在着与之等值的析取范式与合取范式求公式的范式的3个步骤极小项、极大项的定义，对于每一个最小项只有一种指派使其取1，对于每一个最大项只有一种指派使其取0定理：设mi与Mi是由同一组命题变项形成的极小项和极大项则miMiMimi
f
主析取范式、主合取范式的定义，求解公式的析取范式、合取范式、主析取范式、主合取范式定理：任何命题公式都存在着与之等值的主析取范式和主合取范式并且是惟一的求主析取范式的步骤，求主合取范式的步骤，快速求法、主析取范式的用途命题逻辑推理的推理证明
第3章一阶逻辑
r