下载此文档

离散数学-命题逻辑.ppt


文档分类:高等教育 | 页数:约115页 举报非法文档有奖
1/115
下载提示
  • 1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
  • 2.下载该文档所得收入归上传者、原创者。
  • 3.下载的文档,不会出现我们的网址水印。
1/115 下载此文档
文档列表 文档介绍
《离散数学》第一部分-(又称计算机数学)是现代数学的重要分支,是计算机专业核心基础课程之一。,其研究对象一般为:有限或可数个元素(例如:自然数、整数、真假值、有限个结点等),而离散性也是计算机科学的显著特点。,如:数据结构、操作系统、编译原理、算法分析、逻辑设计、系统结构、容错技术、人工智能等有密切的联系。它是这些课程的先导和基础课程。4.[离散数学]高等教育出版社,2008屈婉玲著[DiscreteMathematicsandItsApplications],可分为四大部分第一部分数理逻辑包括命题逻辑;谓词逻辑第二部分集合论包括集合与关系;;:定义、定理多本课内容=定义+定理+习题为了学好这门课,要求:(1)弄懂定义、定理,弄懂例题,加深对定义、定理的理解;(2)在复习基础上,做好课外作业。同学之间可以讨论,但要弄懂弄通。(3)做好课堂笔记。(4)结合专业实践,做到融会贯通。%平时作业20%期末考试60%考核方式课前预+课下习题+。命题逻辑、谓词逻辑数理逻辑使用特制的表意符号,亦称为符号逻辑。逻辑研究对象—逻辑真值真,表示为T或1假,表示为F或0正确的推理形式正确前提正确的推理形式必然得出正确的结论10.

离散数学-命题逻辑 来自淘豆网m.daumloan.com转载请标明出处.

相关文档 更多>>
非法内容举报中心
文档信息
  • 页数115
  • 收藏数0 收藏
  • 顶次数0
  • 上传人相惜
  • 文件大小772 KB
  • 时间2020-08-16
最近更新