ch00引言.pptVIP

离散数学 引 言 离散数学是现代数学的一个重要分支，是计算机类专业的重要课程。它以研究离散量的结构及其相互间的关系为主要目标，其研究对象一般是有限个或可数个元素，因此离散数学可以充分描述计算机学科离散性的特点。由于离散数学在计算机科学中的重要作用，国内外几乎所有大学的计算机类专业的教学计划中都将其列为核心课程进行重点建设，它是其他骨干课程，如数据结构、操作系统、人工智能、计算机网络、软件工程、编译原理等的先修课程，国内许多大学将其作为计算机专业类研究生入学考试的内容。 引 言 为什么离散数学在计算学科的知识掌握中有着举足轻重的意义呢? 1.计算学科的概念 计算学科（Computing Science）即我们所熟悉的计算机科学与技术(Computer Science and Technology)。计算学科是对描述和变换信息的算法过程，包括其理论、分析、设计、效率分析、实现和应用等进行的系统研究的一门学科。它涉及计算过程的分析如可计算性、算法，研究有关计算机的各种现象、揭示其规律与本质如计算机的设计和使用、可计算性硬件和软件的实际实现问题。 1.计算学科的概念 计算学科的基本问题是能行与效率的问题,即它的核心问题是“能行”问题(Practicability)： 1)什么是（实际）可计算的？什么是（实际）不可计算的？ 2)如何保证计算的自动性、有效性及正确性？ 1.计算学科的概念 计算学科作为现代技术的标志，已成为世界各国经济增长的主要动力。但如何认识这门学科，它究竟属于理科还是工科，属于科学还是属于工程的范畴，这是困扰国内外计算机科学界很长时间且争论不休的问题。 计算学科诞生于20世纪40年代初，它的理论基础可以说在这之前就已经建立起来了。正是电子数字计算机的问世才促进这一门学科的发展。 1.计算学科的概念 世人一般公认1946年2月14日研制成功的ENIAC（电子数字积分器和计算器，Electronic Numerical Integrator and Calculator）是世界上第一台通用电子数字计算机（事实上，早在1943年，英国数学家图灵领导制造出了一台名叫“巨人”（Colossus）的电子计算机，它专门用于译码。由于英国政府的保密制度，故人们对它的成就了解甚少）。美国的普渡大学于1962年开设了最早的计算机科学学位课程。 1.计算学科的概念 在计算机产生之初及随后的一、二十年时间里，计算机主要用于数值计算。大多数科学家认为使用计算机仅为编程问题，不需作任何深刻的科学思考，计算机从本质上说是一种职业而一门学科。 到了20世纪70、80年代，计算技术得到了迅猛的发展和广泛的应用，并开始渗透到大多数科学领域。这时人们普遍争论的问题是：计算机科学是否作为一门学科？它是科学还是工程？它属于理科还是工科？或者只是一门技术、一个计算商品的研制者或销售者？ 1.计算学科的概念 1985年春，ACM（美国计算机协会）和IEEE－CS（国际电子电气工程师学会计算机分会）组成联合攻关小组，开始了对“计算作为一门学科”的存在性证明。1989年1月，该小组提交了《计算作为一门学科》（Computing as a discipline）的报告。第一次给出了计算学科一个透彻的定义，回答了计算学科中长期以来一直争论的一些问题，完成了计算学科的“存在性”证明，还提出了未来计算科学教育必须解决的二个重大问题――整个学科核心课程详细设计及整个学科综述性导引课程的构建。1991年，在这报告的基础上提交了关于计算学科教学计划CC1991（Computing Curricula 1991）。2001年12月，提交了最终的CC2001报告。 1.计算学科的概念 《计算作为一门学科》报告及CC1991、CC2001一起解决了三个重要问题： 第一个重大问题（计算作为一门学科的存在性证明）的解决。对学科本身的发展至关重要。如果在众多分支领域都取得了重大成果并已得到广泛应用的“计算”，连作为一门学科的地位都不清楚，那么它的发展势必要受到很大的限制。 1.计算学科的概念 第二个重大问题（整个学科核心课程详细设计）的解决，将为高校制定计算机教学计划奠定基础。确定一个公认的本科生应该掌握的核心内容，将避免教学计划设计中的随意性，从而为我们科学地制定教学计划奠定基础。 1.计算学科的概念 第三个重大问题（整个学科综述性导引课程的构建）的解决，将使人们对整个学科的认知科学化、系统化和逻辑化。如果人们对计算学科的认知能建立在公理化的基础之上，则该学科可被认为