【数学建模】离散数学及应用-全套讲义-1148P课件.pptx

党支部书记2022年度民主生活会“六个带头”对照检查材料3篇参考范文.docx

党支部书记2022年度民主生活会六个带头对照检查材料3篇参考范文根据县委关于开好2022年度县管领导班子民主生活会的有关要求,本人对照此次民主生活会主题和七个聚焦要求,在开展认真学习二十大报告和党章广泛征求意见建议深入开展谈心谈话的基础上,

《【数学建模】离散数学及应用-全套讲义-1148P课件.pptx》由会员分享，可在线阅读，更多相关《【数学建模】离散数学及应用-全套讲义-1148P课件.pptx（1149页珍藏版）》请在上搜索。

1、离散数学(Discrete Mathematics),引 言,一.离散数学与计算机计算机开辟了脑力劳动机械化和自动化的新纪元。计算机的诞生，人们就要为它进一步发展创建新的理论，就要寻找合适的数学工具。例：为了描述新开拓的应用领域中的各种数据的结构，就需要适宜的数学工具。,2021/2/5 Friday,计算机科学与技术学院,引 言（续）,故计算机各分支领域中的理论问题，交错地使用着现代数学的各种不同的论题。因为计算机系统从本质上说是一种离散性的结构，它的许多性质可以在有限数学系统的框架中来理解，从中选出一些必要而且是基本的主干论题称为离散数学。因此，离散数学是随着计算机科学的发展而逐步建立的，

2、它形成于七十年代初期，是一门新兴的工具性学科。,2021/2/5 Friday,计算机科学与技术学院,引 言（续）,离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础，是计算机科学与技术专业的核心、骨干课程。它以研究离散量的结构和相互间的关系为主要目标，其研究对象一般是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。,2021/2/5 Friday,计算机科学与技术学院,引 言（续）,二、该课程的主要内容：离散数学课程的主要内容可以分为四个部分：数理逻辑，包括命题逻辑和谓词逻辑。(教材的第一、二章)集合论，包括集合、关系和函数。（教材的第三、四章）代数系统，包括代数系统

3、的一般概念，几类典型的代数系 统和格。（教材的第五、六章）图论，包括图的基本概念，几种特殊的图。(教材的第七章),2021/2/5 Friday,计算机科学与技术学院,引 言（续）,三、学习该课程的目的：1.为学习计算机后继课程，如数据结构、编译理论、操作系统、数据库原理、形式语言及自动机、软件工程与方法学、计算机网络和人工智能、高级程序设计语言等，提供必要的数学基础；为阅读计算机文章作充分的数学准备。,2021/2/5 Friday,计算机科学与技术学院,引 言（续）,数理逻辑：人工智能，数据库，形式语言及自动机，高级程序设计语言。集合论：信息结构与检索，数据结构。图论：可计算性理论，计算机

4、网络,数据结构。代数结构：开关理论，逻辑设计和程序理论，语法 分析。2.通过学习离散数学，可以培养和提高自己的抽象思维和逻辑推理能力，获得解决实际问题能力，为以后的软、硬件学习和研究开发工作，打下坚实的数学基础。,2021/2/5 Friday,计算机科学与技术学院,引 言（续）,四、教学要求：通过该课程的学习，学生应当了解并掌握计算机科学中普遍采用的离散数学中的一些基本概念、基本思想、基本方法。五、自学要求：由于课时少，内容多且抽象，故要求课前预习，课后复习；认真完成习题，通过做课后习题，来加深对该课程中的一些基本概念的理解，逐步提高自己的抽象思维和逻辑推理能力。作业每星期一交，作为平时成绩

5、。,2021/2/5 Friday,计算机科学与技术学院,引 言（续）,六、参考教材：1.离散数学及其应用魏雪丽等编著 2.离散数学 左孝凌等著 上海科技文献出版社3.离散数学 理论分析题解 左孝凌等著 上海科技文献出版社4.Discrete Mathematics and Its Applications（英文版）(美)Kenneth H.Rosen 著 ,2021/2/5 Friday,计算机科学与技术学院,引 言（续）,七、考核方式：期末考试成绩占70%,平时成绩占30%.,2021/2/5 Friday,计算机科学与技术学院,第一部分 数理逻辑（Mathematical Logic),

6、逻辑：是研究推理的科学。公元前四世纪由希腊的哲学家亚里斯多德首创。作为一门独立科学，十七世纪，德国的莱布尼兹(Leibniz)给逻辑学引进了符号,又称为数理逻辑(或符号逻辑)。逻辑可分为：1.形式逻辑（通过数学方法）数理逻辑 2.辩证逻辑 指引进一套符号体系的方法。辩证逻辑是研究反映客观世界辩证发展过程的人类思维的形态的。,2021/2/5 Friday,计算机科学与技术学院,第一部分 数理逻辑（Mathematical Logic),形式逻辑是研究思维的形式结构和规律的科学，它撇开具体的、个别的思维内容，从形式结构方面研究概念、判断和推理及其正确联系的规律。数理逻辑是用数学方法研究推理的形式结构和推理的规律的数学学科。它的创始人Leibniz，为了实现把推理变为演算的想法，把数学引入了形式逻辑。其后，又经多人努力，逐渐使得数理逻辑成为一门专门的学科。上个世纪30年代以后，数理逻辑进入一个崭新的发展阶段，逻辑学不仅与数学结合，还与计算机科学等密切关联。,2021/2/5 Friday,计算机科学与技术学院,第一部分 数理逻辑（Mathematical Log