第一部分 简单命题符号化，
求主析取范式，判断公式类型（重言式，矛盾式，可满足式） 量词消去规则。 命题逻辑推理规则
带全称量词和存在量词的命题逻辑推理的构造和证明 第二部分
集合基本运算，文氏图 有序对的基本知识， 笛卡儿积， 特征函数
函数的性质（单射，满射，双射）
集合的基本概念（交集，并集，幂集，定义域，值域）
给出关系图，画出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分） 集合相等证明 命题逻辑推理证明
《离散数学考试范围.doc》
将本文的Word文档下载到电脑，方便编辑。
推荐度：
点击下载文档