集合论与图论Set Theory and Graph Theory.pptVIP

3.3 课程目标 1.掌握集合论与图论的基本概念、基本原理、基本方法等基本知识，培养形式化、模型化的抽象思维能力，使学生能够利用集合论与图论的概念、理论与方法识别、表达计算相关的复杂工程问题，逐步学会为计算类复杂工程问题建立数学模型 2.掌握直接证明法、反证法、数学归纳法、构造法等常用的证明方法，培养机械化、自动化的逻辑推理能力，使学生能够利用集合论与图论的概念、理论与方法并通过文献研究分析复杂工程问题，并能获得有效的结论，理解并逐步设计求解这些问题的算法基本思想 * * * 谢谢观赏 2019-5-18 3.4 教学目的 该课程的设置主要是为了培养学生的抽象思维和逻辑推理能力，提高学生分析问题和解决问题的能力，提高学生的数学修养及计算机科学素质。 本课程为后继的专业基础课及专业课提供必要的数学工具，为描述离散模型提供数学语言。 要想用计算机解决问题就要为它建立数学模型，即描述研究对象及对象与对象之间的联系，并通过事物之间的联系找出事物的运动规律。 集合论与图论为此提供了强有力的描述工具与推理理论。 * * * 谢谢观赏 2019-5-18 3.5 课程的基本思想 我们从“集合”这个基本概念开始建立集合理论。就某种观点来看，“集合”与“性质”是同义词，是基本概念之一。 集合用来描述事物的性质—我们的研究对象， 映射用来描述事物之间的联系—运算、关系，从而为集合建立了结构。 于是，为建立系统的数学模型提供了数学描述语言—工具，代数系统就是引入运算以后的集合。 * 谢谢观赏 2019-5-18 3.5 课程的基本思想 集合论又提供了研究数学模型的性质，发现新联系的推理方法，从而找出事物的运动规律。 图论是上述思想的一个具体应用，事实上，图论为任何一个包含了一种二元关系的系统提供了一个数学模型；部分地，也因为使用了图解式表示方法，图就具有一种直观的和符合美学的外形。 在图论中，许多结果是初等的，但也有大量的十分复杂的问题可以难倒最老练的数学家。 * 谢谢观赏 2019-5-18 3.6 课程特点 自给自足，不需要预先的知识准备。学习本课的前提实在仅仅是不可捉摸的所谓“数学上的成熟”。 概念多，但都有实在的具体的实物背景，最后要落实到抽象的定义上，概念是第一位的。 * 谢谢观赏 2019-5-18 3.6 课程特点 作为一门数学课，与以往不同的是以证明为主而不是以计算为主。因此，要学会证明技术，学会分析问题和解决问题的思想方法。它能培养你诚实！ 与计算机科学/技术联系紧密，是最常用、最有用的数学内容之一。 没有什么公式要你背。需要的仅是智力上的成熟并乐意进行独立思考！ * 谢谢观赏 2019-5-18 * * 3.7 课程主要内容 工大80年开始将离散数学分成三门课：集合论与图论、近世代数、数理逻辑 集合论 集合及其运算、映射及其合成、关系及其运算、无穷集合及其基数。 图论 图的一些基本概念、一些特殊的图、树及其性质、割点和桥、连通度、平面图、图的着色、有向图。 * 谢谢观赏 2019-5-18 2019-5-18 * 2.1 专业性质-以计算机专业为例 内涵 通过在计算机上建立模型和系统，模拟实际过程进行科学调查和研究 通过数据搜集、存储、传输与处理等进行问题求解 包括科学、工程、技术和应用。 根本问题 “什么能、且如何被有效地实现自动计算” 谢谢观赏 2.2 专业特征-计算机相关专业 设计 理论 抽象 学科形态 绑定、大问题复杂性、概念和形式模型 一致性和完备性、效率、演化、抽象层次 按空间排序、重用、安全性、折衷与决策 按时间排序 核心概念 数学方法（随机方法） 系统方法 基本方法 学科方法学 基本知识体系 知识领域 计算机科学与技术/软件工程/网络空间与安全/物联网工程/生物信息技术/数据科学与数据技术/人工智能…… 基 本 技 术、基 本 工 具、新 技 术、新 工 具 技 术 * 谢谢观赏 2019-5-18 2.2 专业特征-计算机专业 核心是抽象思维与逻辑思维能力的训练 本学科的基本教育原理——抽象第一 抽象思维能力的培养比较难，需要反复训练，其目的是学会表示事物，关键是离散化、符号化、形式化、模型化的训练 逻辑思维能力的培养相对简单一些，其目的是学会描述各种处理流程，关键是编程的训练，目前学生中有相当一部分存在编程障碍 典型代表：图灵机模型(有穷自动机) * 谢谢观赏 2019-5-18 工程教育专业认证-用标准引导 工程教育专业认证 是国际通行的工程教育质量保证制度，也是实现工程教育国际互认和工程师资格国际互认的重要基础。 要求专业从培养目标到毕业要求，再到课程体系，最后到教学落实、评价与反馈，进行系统的设计与实施。 工程教育专业认证倡导的教育理念 以学生为