本文主要是介绍【离散数学】数理逻辑集合论知识点汇总,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
期末题型:
一、 单选题(每题2分,10题共20分)
命题判定、哈斯图边计算等
二、 填空题(每空1分,共20分)与非和或非的表示等
三、 简答题(10题,每题6分,共60分)推理的构造证明、等值演算求主范式、前束范式的提取、一阶逻辑的命题定义(类似苏格拉底三段论)、证明给定集合和关系是偏序关系/等价关系等
考试时间:1hour50min
这篇关于【离散数学】数理逻辑集合论知识点汇总的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!