离散数学及应用
1148页1、2019/5/13,1,离散数学(Discrete Mathematics),计算机科学与技术学院 ( School of Computer Science & Technology) 魏雪丽,2019/5/13,计算机科学与技术学院,引 言,一. 离散数学与计算机 计算机开辟了脑力劳动机械化和自动化的新纪元。 计算机的诞生,人们就要为它进一步发展创建新的理论,就要寻找合适的数学工具。 例:为了描述新开拓的应用领域中的各种数据的结构,就需要适宜的数学工具。,2019/5/13,计算机科学与技术学院,引 言(续),故计算机各分支领域中的理论问题,交错地使用着现代数学的各种不同的论题。 因为计算机系统从本质上说是一种离散性的结构 ,它的许多性质可以在有限数学系统的框架中来理解,从中选出一些必要而且是基本的主干论题称为离散数学。 因此,离散数学是随着计算机科学的发展而逐步建立的,它形成于七十年代初期,是一门新兴的工具性学科。,2019/5/13,计算机科学与技术学院,引 言(续),离散数学是现代数学的一个重要分支,是计算机科学与技术的理论基础,是计算机科学与技术专业的核心、骨干课程。 它以研
2、究离散量的结构和相互间的关系为主要目标,其研究对象一般是有限个或可数个元素,因此它充分描述了计算机科学离散性的特点。,2019/5/13,计算机科学与技术学院,引 言(续),二、该课程的主要内容: 离散数学课程的主要内容可以分为四个部分: 数理逻辑,包括命题逻辑和谓词逻辑。(教材的第一、二章) 集合论,包括集合、关系和函数。(教材的第三、四章) 代数系统,包括代数系统的一般概念,几类典型的代数系 统和格。(教材的第五、六章) 图论,包括图的基本概念,几种特殊的图。 (教材的第七章),2019/5/13,计算机科学与技术学院,引 言(续),三、学习该课程的目的: 1. 为学习计算机后继课程,如数据结构、编译理论、操作系统、数据库原理、形式语言及自动机、软件工程与方法学、计算机网络和人工智能、高级程序设计语言等,提供必要的数学基础;为阅读计算机文章作充分的数学准备。,2019/5/13,计算机科学与技术学院,引 言(续),数理逻辑:人工智能,数据库,形式语言及自动机, 高级程序设计语言。 集合论: 信息结构与检索,数据结构。 图论: 可计算性理论,计算机网络,数据结构。 代数结构:开关理论
3、,逻辑设计和程序理论,语法 分析。 2. 通过学习离散数学,可以培养和提高自己的抽象思维和逻辑推理能力,获得解决实际问题能力,为以后的软、硬件学习和研究开发工作,打下坚实的数学基础。,2019/5/13,计算机科学与技术学院,引 言(续),四、教学要求: 通过该课程的学习,学生应当了解并掌握计算机科学中普遍采用的离散数学中的一些基本概念、基本思想、基本方法。 五、自学要求: 由于课时少,内容多且抽象,故要求课前预习,课后复习;认真完成习题,通过做课后习题,来加深对该课程中的一些基本概念的理解,逐步提高自己的抽象思维和逻辑推理能力。 作业每星期一交,作为平时成绩。,2019/5/13,计算机科学与技术学院,引 言(续),六、参考教材: 1.离散数学及其应用魏雪丽等编著 机械工业出版社 2 .离散数学 左孝凌等著 上海科技文献出版社 3. 离散数学 理论分析题解 左孝凌等著 上海科技文献出版社 4. Discrete Mathematics and Its Applications (英文版) (美)Kenneth H.Rosen 著 机械工业出版社,2019/5/13,计算机科学与技术学
4、院,引 言(续),七、考核方式: 期末考试成绩占70%, 平时成绩占30%.,2019/5/13,计算机科学与技术学院,第一部分 数理逻辑(Mathematical Logic),逻辑:是研究推理的科学。公元前四世纪由希腊的哲学家亚里斯多德首创。作为一门独立科学,十七世纪,德国的莱布尼兹(Leibniz)给逻辑学引进了符号, 又称为数理逻辑(或符号逻辑)。 逻辑可分为:1. 形式逻辑(通过数学方法) 数理逻辑 2. 辩证逻辑 指引进一套符号体系的方法。 辩证逻辑是研究反映客观世界辩证发展过程的人类思维的形态的。,2019/5/13,计算机科学与技术学院,第一部分 数理逻辑(Mathematical Logic),形式逻辑是研究思维的形式结构和规律的科学,它撇开具体的、个别的思维内容,从形式结构方面研究概念、判断和推理及其正确联系的规律。 数理逻辑是用数学方法研究推理的形式结构和推理的规律的数学学科。它的创始人Leibniz,为了实现把推理变为演算的想法,把数学引入了形式逻辑。其后,又经多人努力,逐渐使得数理逻辑成为一门专门的学科。 上个世纪30年代以后,数理逻辑进入一个崭新的发展阶段,
《离散数学及应用》由会员suns****4568分享,可在线阅读,更多相关《离散数学及应用》请在金锄头文库上搜索。
土地管理与地籍测量---第八章界址点测量
人机工程学案例分析(2)
工程安全培训_201303
第9章房地产投资决策分析
第2章房地产经纪制度
ACM程序设计-东北林业大学acm05
《亲爱的汉修先生》读书交流会
中原_深圳新世界尖岗山项目市场汇报_40P_2012年_别墅_项目分析_量价走势
五年级数学质量分析演示文稿
人工智能小镇-智慧小镇建设20180525
景观基本知识及发展历程
建设工程信息管理(2)
机电驱动技术第二章步进驱动技术
工程力学-第9章圆轴扭转时的应力变形分析与强度刚度设计
第一章第二节幼儿园文化环境建设的原则
第一章检测技术的基础知识
第一章__现代表面工程技术
第六章钢结构工程
第9节项目试运行管理
班主任工作经验交流课件(4)
2023-12-11 28页
2023-12-11 28页
2023-12-11 27页
2023-12-11 31页
2023-12-11 27页
2023-12-11 27页
2023-12-11 33页
2023-12-11 28页
2023-12-11 26页
2023-12-11 29页