离散数学考试范围_离散数学考试大纲

离散数学考试范围由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“离散数学考试大纲”。

第一部分 简单命题符号化，求主析取范式，判断公式类型（重言式，矛盾式，可满足式）量词消去规则。命题逻辑推理规则

带全称量词和存在量词的命题逻辑推理的构造和证明 第二部分

集合基本运算，文氏图 有序对的基本知识，笛卡儿积，特征函数

函数的性质（单射，满射，双射）

集合的基本概念（交集，并集，幂集，定义域，值域）

给出关系图，画出r(R)，s(R)，t(R)等价关系及等价划分 集合相等证明

从A到B的函数的性质

关系的性质（自反，对称，传递）偏序关系和哈斯图

A卷

1、选择10题（2*10=20分）

2、填空8题（1*15=15分）

3、综合题（6题，39分）（1）前束范式

（2）偏序关系和哈斯图（3）文氏图（4）关系的闭包

（5）用真值表判断公式的成真赋值（6）量词消去

4、证明题（3题，共26分）自然推理系统证明（第三章）集合相等证明

命题逻辑推理证明（第五章）B卷

1、填空10题（2*10=20分）

2、选择10题（1*10=10分）

3、综合题（6题，44分）（1）主析取范式判断公式类型（2）量词消去，求公式真值（3）集合计算（4）量词消去（5）前束范式

（6）偏序关系和哈斯图

4、推理填空题（8分）

5、证明题（18分）集合相等证明 命题逻辑推理证明