【离散数学】重点、教材及解答
重点命题逻辑不考公式翻译;重点: 等价式与重言式(如:公式化简,讨论法证重言式)推理证明(直接法,反证法, CP规则)主合取与主析取范式(大、小项,大、小项的下标,范式的演化)谓词逻辑不考翻译;不考前束范式;重点: 谓词公式的等价式与重言式 (量词的作用,量词作用域的伸缩,…)推理证明(ES,US,EG,UG,直接,反证,CP)集合集合元素计数(必考)二元关系全部复习重点:闭包;等价关系与等价类(结合代数的陪集与拉格朗日定理);偏序关系与哈斯图(结合格);要点:可熟练证明
原创
2020-09-18 17:50:16 ·
1059 阅读 ·
0 评论