《离散数学》第一部分-(又称计算机数学)是现代数学的重要分支,是计算机专业核心基础课程之一。,其研究对象一般为:有限或可数个元素(例如:自然数、整数、真假值、有限个结点等),而离散性也是计算机科学的显著特点。,如:数据结构、操作系统、编译原理、算法分析、逻辑设计、系统结构、容错技术、人工智能等有密切的联系。它是这些课程的先导和基础课程。4.[离散数学]高等教育出版社,2008屈婉玲著[DiscreteMathematicsandItsApplications],可分为四大部分第一部分数理逻辑包括命题逻辑;谓词逻辑第二部分集合论包括集合与关系;;:定义、定理多本课内容=定义+定理+习题为了学好这门课,要求:(1)弄懂定义、定理,弄懂例题,加深对定义、定理的理解;(2)在复习基础上,做好课外作业。同学之间可以讨论,但要弄懂弄通。(3)做好课堂笔记。(4)结合专业实践,做到融会贯通。%平时作业20%期末考试60%考核方式课前预+课下习题+。命题逻辑、谓词逻辑数理逻辑使用特制的表意符号,亦称为符号逻辑。逻辑研究对象—逻辑真值真,表示为T或1假,表示为F或0正确的推理形式正确前提正确的推理形式必然得出正确的结论10.
离散数学-命题逻辑 来自淘豆网m.daumloan.com转载请标明出处.