《离散数学》说课稿.doc

《离散数学》说课稿 数学教研室 雷志金 2010年6月 一、教材分析 1. 课程性质 现代数学可分为两大类，一类是研究连续现象的，如分析、方程等；另一类就是研究离散现象的离散数学离散数学是现代数学的一个新分支，并随着信息技术的进步得到了蓬勃的发展。在信息的处理技术、计算机软硬件的设计等领域都有着广泛应用。离散数学是现代数学的一个重要分支，是计算机类专业的重要课程。它以研究离散量的结构及其相互间的关系为主要目标，其研究对象一般是有限个或可数个元素，因此离散数学可以充分描述计算机学科离散性的特点。由于离散数学在计算机科学中的重要作用，国内外几乎所有大学的计算机类专业的教学计划中都将其列为核心课程进行重点建设，它是其他骨干课程，如数据结构、操作系统、人工智能、计算机网络、软件工程、编译原理等的先修课程，国内许多大学将其作为计算机专业类研究生入学考试的内容。随着现代信息技术的发展，计算机学科的发展也非常迅速，离散数学作为计算机科学与技术专业的专业基础课程也随之不断发展变化。该课程是于1977年被IEEE确定为计算机专业核心主干课程，2001年又被IEEE和ACM确定为计算机专业第一核心主干课程。随着CC2001和CCC2002、CCC2004教程的问世，教学课程体系逐步走向成熟，离散数学的教学内容被进一步更新，其内容框架也越来越趋于成熟，基本上核心内容主要包含四大分支：数理逻辑、集合论、代数、图论。一、数理逻辑数理逻辑是用数学的方法研究关于推理、证明等问题的学科，也叫做符号逻辑。它的本质是研究如何通过利用纯粹的公理系统和符号演算以及推理方法来代替人们思维中的逻辑推理过程，并由此将整个的数学建立在这样一个逻辑基础之上。由于历史上诸多数学家的努力和推动，尤其是莱布尼茨、布尔、希尔伯特、罗素、图灵、哥德尔等人的工作，部分地实现了数学家们的这一形式化数学的梦想，但同时，也由于哥德尔的工作，揭示了数学基础本身存在的巨大困难。如何解决这些问题和困难，仍然是今天的数理逻辑学家面临的重大挑战。数理逻辑基础包括两个最基本的也是最重要的组成部分，就是“命题演算”和“谓词演算”。命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。如果我们把命题看作运算的对象，如同代数中的数字、字母或代数式，而把逻辑连接词看作运算符号，就象代数中的“加、减、乘、除”那样，那么由简单命题组成复和命题的过程，就可以当作逻辑运算的过程，也就是命题的演算。命题演算的一个具体模型就是逻辑代数。谓词演算也叫做命题涵项演算。在谓词演算里，把命题的内部结构分析成具有主词和谓词的逻辑形式，由命题涵项、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑推理关系。数理逻辑近年来发展特别迅速，主要原因是这门学科对于数学其它分支如集合论、数论、代数、拓扑学等的发展有重大的影响，特别是对计算机科学的发展起了推动作用。反过来，其他学科的发展也推动了数理逻辑的发展。在本课程“数理逻辑”部分的教学过程中，在强调重点的基础上，将具体讨论命题，逻辑联结词，命题公式、真值函数；重言式，矛盾式，命题公式、真值函数；命题公式的推理理论；对偶与范式；谓词，与命题的关系；谓词合式公式，客体变元的约束；谓词合式公式的等价与蕴涵；谓词演算的推理理论；前束范式与斯柯伦范式；形式化进一步讲论；可靠性和完备性等方面的问题。二、集合论集合论是德国著名数学家康托尔于19世纪末创立的。康托对于无穷集元素个数问题进行了卓越的研究，引领数学研究进入了一个全新的领域。他提出用一一对应准则来比较无穷集元素的个数，将元素间能建立一一对应的集合称为个数相同（也称作等势）。并证明了无穷集的势之间存在着差别，有着不同的数量级，可分为不同的层次。随之建立了关于无限的所谓阿列夫谱系。康托尔的成果影响深远，被称为“对无限最深刻的洞察、数学天才的最优秀作品、人类纯智力活动的最高成就之一”。随着时间的推移，康托的朴素集合论受到“罗素悖论”的挑战，为了解决可能存在悖论的问题，集合论进一步发展，形成了公理集合论，它是对朴素集合论的严格处理和进一步发展。这个过程看来永远不会终结。在本课程“集合论”部分的教学过程中，主要会涉及到集合、关系等的基本概念、运算、性质和分类。 具体包括：集合基本概念和并、交、 补、差运算；对称差运算和幂集，笛卡尔积；关系及其表示法、关系的运算和性质，闭包运算；等价关系与集合的分类，分类的加细，集合的覆盖与分划，等价类与商集等等；序关系与哈斯图 ；偏序关系与全序关系、置换、单射、满射和双射等等；可数集与不可数集，基数与连续统猜想等等。?三、近世代数近世代数中最基础的部分是群论，这一重要的现代数学思想有多个起源：1）来源于数论（主要源于欧拉和高斯等人关于同余类以及二次型的分类等有重要意义的工作