编译原理教材配套课件bloghiteducn集合论与图论.pptVIP

计算机系统 硬件 软件 组成原理 电子技术 体系结构 数字逻辑电路 电路原理 大学物理 计算机网络 接口与通讯技术 通讯概论 安全与保密 程序设计语言 汇编语言 高级语言 编译原理 计算理论 C、C＋＋、JAVA、PB、VB… 系统软件 操作系统 DOS、Windows 、UNIX… 数据库 Access、Sybase 、Oracle… 数据结构 人工智能 应用软件开发 离散数学： 软件工程 算法设计与分析 集合 函数 代数结构 格与布尔代数 图论 形式语言与自动机 数理逻辑 二元关系 本课程的特点 自给自足，不需要预先的知识准备。学习本课的前提实在仅仅是不可捉摸的所谓“数学上的成熟”。 概念多，但都有实在的具体的实物背景，最后要落实到抽象的定义上，概念是第一位的。 本课程的特点 作为一门数学课，与以往不同的是以证明为主而不是以计算为主。因此，要学会证明技术，学会分析问题和解决问题的思想方法。它能培养你诚实！ 与计算机科学/技术联系紧密，是最常用、最有用的数学内容之一。 没有什么公式要你背。需要的仅是智力上的成熟并乐意进行独立思考！ * * 教学要求——课程要求 掌握集合论与图论的基本概念、基本原理、基本方法等基本知识，并且对其具有比较全面、系统的认识和正确的理解； 掌握运用基本知识进行推理的初步能力，并能将其应用到计算机科学领域内，分析和处理一些基本问题； 掌握常用的证明方法：直接证明法、反证法、数学归纳法、构造法等，具有一定的抽象思维和逻辑思维能力，达到知识、能力、素质的协调发展。 教学要求——考试要求 题型 选择、填空、判断、简答、证明、论述、设计、计算等 重点和难点 会在各章的开始点明 考试权重 平时成绩10% 作业占10% 期末考试占80% 考前答疑 考试前两天 * * 教学方法 “只有学生能理解的定义才是令人满意的。” —Poincaré于1909年 讲清概念的背景，最好先从具体的实例出发，直观地给出实在的东西，然后推广或抽出本质得到抽象概念。没有抽象就没有科学！ “从具体到抽象是数学发展的一条重要大道，因此具体例子往往是抽象概念的源泉，而所用的方法也往往是高深数学里所用的方法的依据。 仅仅熟读了抽象的定义和方法而不知道他们具体来源(从抽象回到具体)的数学工作者是没有发展前途的，这样的人要搞深刻研究是可能会遇到无法克服的难关的”。——华罗庚：《数论导引》 * * 教学方法 “难处不在于有公式去证明，而在于没公式之前，怎样去找出公式”。——华罗庚 总之，教育的目的或重点是理解概念、理解方法、理解定理。而今应多一个就是怎样分析、处理这众多的信息以达到思考它、理解信息，从中获取知识，增长智慧，创造生活。 * * 教学方法 证明、解题：发现解法 已知的事物和要求的事，已知量和未知量，假设和结论，在原先开始时隔开的事物和想法，我们就是要在这原先是隔开的事物或想法之间找出联系。 被联系的事物原来离得越远，联系的发现者的功绩也就越大。有时我们发现这种联系就象一座桥：一个伟大的发现使我们强烈地觉得象是在两个离得很远的想法的鸿沟间架上了桥。我们常常看到这种联系是由一条链来贯穿的：一个证明象是一串论据，象是一条由一系列结论组成的链，也许是一条长链。这条链的强度是由它最弱的一环来代表的。因为哪怕是只少了一环，就不会有连续推理的链，也就不会有有效的证明。对于思维上的联系，我们更经常使用线索这个词。 * * 教学方法 瞻前顾后 站在新的概念、理论、方法和观点看已学过的知识（在这里是微积分、线性代数、概率论、C程序设计语言等）有时会更清楚，显得简单，理解会更深刻； 我们也将随时指出本课的内容在计算机专业中的应用，特别是在后继课──数据结构与算法、形式语言与自动机、编译、数据库原理、计算复杂性理论等中的应用。但不能详述，目的是告诉你现在值得花点精力学它。 * * 教学方法 基本概念必须抽象化 要问当作实体的这些对象是什么，这是没有意义的，即使是有的话也不可能在数学范围内得到解决。所有适合它们的论断都不涉及到这些实体的现实，而只说明数学上“不加定义的对象”之间的相互关系以及它们所遵循的运算法。“可验证”的事实只是结构和关系。 不要期望百分之百地听懂每个细节，某些细节应独立思考自己弄懂，这才会使你愉快。 * * 学习方法 基于问题的学习（What-Why-hoW） 学习要以思考为基础 一般的学习只是一种模仿，而没有任何创用 思考由怀疑和答案组成，学习便是经常怀疑，经常随时发问。怀疑是智慧的大门，知道得越多，就越会发问，而问题就越多。所以，发问使人进步，发问和答案一样重要。 基础知识是研究的工具 在独立思考之前，必须先有基础知识。所谓“获得基础知识”并不是形式上读过