离散数学-命题逻辑.ppt

《离散数学》
课程学时：48
讲 授：杨绍禹
******@
1
精选课件
课程性质
离散数学（又称计算机数学）是现代数学的重要分支，是计算机专业核心基础课程之一。
2
精选课件
课程目标
离散数学是以研究离散量的结构和相互之间的关系为主要目标，其研究对象一般为：有限或可数个元素（例如：自然数、整数、真假值、有限个结点等），而离散性也是计算机科学的显著特点。
3
精选课件
与其他课程的关系
离散数学与计算机科学的其他课程,如：数据结构、操作系统、编译原理、算法分析、逻辑设计、系统结构、容错技术、人工智能等有密切的联系。它是这些课程的先导和基础课程。
4
精选课件
[离散数学]
高等教育出版社,2008
屈婉玲著
[Discrete Mathematics and Its Applications] 6th Edition
Kenneth H Rosen
教材与参考书
5
精选课件
课程内容
本课程根据大纲的内容和相关独立性，
可分为四大部分
第一部分 数理逻辑
包括命题逻辑;谓词逻辑
第二部分 集合论
包括集合与关系;函数
6
精选课件
课程内容
第三部分 代数系统
包括代数结构;格与布尔代数
第四部分 图论
7
精选课件
学习方法
课程特点：定义、定理多　
本课内容＝定义＋定理＋习题
为了学好这门课，要求：
（１）弄懂定义、定理，弄懂例题，加深对定义、定理的理解；
（２）在复习基础上，做好课外作业。同学之间可以讨论，弄懂弄通。
（3）做好课堂笔记。
（4）结合专业实践，做到融会贯通。
8
精选课件
学时考勤 20%
平时作业 20%
期末考试 60%
考核方式
课前预+课下习题+经典文献阅读
9
精选课件
第一篇 数理逻辑
数理逻辑是用数学语言表述的推理形式有效性的学问。
命题逻辑、谓词逻辑
数理逻辑使用特制的表意符号，亦称为符号逻辑。
逻辑研究对象—逻辑真值
真，表示为T或1
假，表示为F或0
正确的推理形式
正确前提
正确的推理形式
必然得出正确的结论
10
精选课件