一、数理逻辑 (一)基本概念 1.命题逻辑基本概念:命题常项,命题变项,联结词,命题公式 (1)悖论:非命题 (2)联结词完备集:{非,或,与},{与非^},{或非} (3)命题公式的表达:真值表、析取合取范式 (4)命题公式的可满足性问题:消解法 2.一阶逻辑基本概念:个体词(常项,变项,约束,自由。域),谓词(常项,变项),量词(辖域),一阶语言,谓词公式,解释 (1)个体词:...
离散数学知识点总结 第二章 命题逻辑 1.→,前键为真,后键为假才为假;,相同为真,不同为假; 2.主析取范式:极小项 (m) 之和;主合取范式:极大项 (M)之积; 3.求极小项时,命题变元的肯定为 1,否定为 0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项 时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错, 命题变元最好按 P,Q,R 的顺序依次写; 6.真值表中值为 1 的...
01-02
2万+
【留言】 学数据结构之前是不是一定要学离散数学【答复】 你问了一个非常好的问题,不少初学计算机的同学该会产生这个疑问(大多数有疑问不提而已,这不是好习惯),更深层地,这里可能包含着我们的学习路线的问题,尤其是需要自主安排学习的时候。 首先,作为大学的培养方案,是这样安排的。我想解读一下,其中所包含的培养目标,以及背后的学习原理假设。培养目标是,有扎实计算机科学基础的高级技术人才。离