第一章 命题逻辑(1.1-1.2).ppt

离散数学
李瑞红
软件学院
3/3/2018
1
课程性质
离散数学(又称计算机数学)是理工各专业的专业必修课,是数学中涉及面非常广泛的一门学科。它不仅是计算机科学中重要的基础理论之一,是学习后续计算机专业课程不可缺少的数学工具,也是培养学生抽象思维能力和逻辑推理能力的核心课程。
3/3/2018
2
课程目标
离散数学是以研究离散量的结构和相互之间的关系为主要目标,其研究对象一般为:有限或可数个元素(例如:自然数、整数、真假值、有限个结点等),而离散性也是计算机科学的显著特点。
3/3/2018
3
与其他课程的关系
离散数学与计算机科学的其他课程,如:数据结构、操作系统、编译原理、算法分析、人工智能等有密切关系。它是这些课程的先导和基础课程。
3/3/2018
4
教材与参考书
离散数学上海科学技术文献出版社,1982,左孝凌等编著
离散数学高等教育出版社,2008 屈婉玲等编著
3/3/2018
5
课程内容
本课程根据大纲的内容和相关独立性可分为四大部分:
第一部分数理逻辑
包括命题逻辑;谓词逻辑
第二部分集合论
包括集合与关系;函数
第三部分代数系统
包括代数结构;格与布尔代数
第四部分图论
3/3/2018
6
学习方法
本课程有两个特点:
(1)[定义]、定理多
本课程内容=[定义]+定理+例题
(2)课外作业比较多
3/3/2018
7
学习方法
为了学好这门课程,特提出三点要求:
(1)弄懂[定义]、定理,弄懂例题,加深对[定义]、定理的理解;
(2)在复习基础上,做好课外作业。同学之间可以讨论,但要弄懂弄通。
3/3/2018
8
学习方法
最后,做两点说明:
(1)考试内容以课堂上讲的内容为范围;
(2)每次课后布置作业。希望大家认真完成。
3/3/2018
9
第一篇数理逻辑
逻辑学:研究思维形式及思维规律的科学。
辨证逻辑:研究事物发展的规律。
形式逻辑:对思维的形式结构和规律进行研究。
数理逻辑:是用数学的方法研究概念、判断和推理的科学,属于形式逻辑。
3/3/2018
10