离散数学课件1.pptVIP

计算机科学与技术系 离散数学 数学与计算机科学学院 王 一 蕾 yilei@fzu.edu.cn 离散数学的学习安排 学时安排： 总学时72，其中：课堂授课62学时，半期考2学时，习题课8学时。 教材： 耿素云，屈婉玲，离散数学，高等教育出版社，2004 主要参考书： [1]耿素云，屈婉玲，王捍贫，离散数学教程，北京大学出版社，2002 [2]袁崇义 屈婉玲 王捍贫 刘田译，离散数学及其应用（译著），机械工业出版社，2002 [3][美]Bernard Kolman等 著，罗平译，离散数学结构，高等教育出版社 课程考核方法 课程考核按照平时作业、半期考和期末考试综合评定学期成绩。 1．平时作业：每次课后都留作业，占总成绩10%。 2．半期考：占总成绩的20%。 3．期末考试：占总成绩的70%。 离散数学概述 18世纪以前, 数学基本上是研究离散对象的数量和空间关系的科学。 之后,因天文学,物理学的发展,如行星轨道,牛顿三大力学定律等研究,极大地推动了连续数学(以微积分,数学物理方程, 实、复变函数论为代表)的发展。 离散对象的研究则处于停滞状态。 20世纪30年代, 图灵提出计算机的理论模型——图灵机。 这种模型早于实际制造计算机十多年,现实的计算机的计算能力, 本质上和图灵机的计算能力一样。 由于在计算机内,机器字长总是有限的, 它代表离散的数或其它离散对象，因此随着计算机科学和技术的迅猛发展,离散数学就显得重要。 离散数学概述 离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础，所以又称为计算机数学，是计算机科学与技术专业的核心、骨干课程。 它以研究离散量的结构和相互间的关系为主要目标，其研究对象一般是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。 离散数学概述 计算机求解的基本模式是：实际问题 ? 数学建模 ? 算法设计 ? 编程实现 离散数学为数学建模打下知识基础、为算法设计提供具体指导 离散数学结构实际上就是通用的抽象的模式的集合。告诉你各种模式的本质特征和它们之间的关系，以及选用它们的策略；告诉你哪些问题是可解的，哪些是当前在图灵机模型上无（最优）解的，哪些是可以得到近似/较优解的。 简而言之，离散数学的作用就在于训练运用离散结构作为问题的抽象模型、构造算法、解决问题的能力。 离散数学的知识结构 离散数学与后续课程 学习离散数学的目的和意义 1、目的： 培养数学抽象能力； 培养用数学语言描述问题的能力； 培养逻辑思维能力； 培养数学论证能力。 即培养抽象、表示、推理、论证的能力。 2、意义： 一是能针对科研和生产中产生的问题来建立数学模型，设计新的算法并论证算法的有效性，并写出优秀的程序来解决实际问题； 二是为学习专业课打好基础。 数理逻辑简介 逻辑学是一门研究思维形式及思维规律的科学，也就是研究推理过程的规律的科学。逻辑规律就是客观事物在人的主观意识中的反映。 逻辑学分为辩证逻辑与形式逻辑两种，辩证逻辑是以辩证法认识论的世界观为基础的逻辑学，形式逻辑主要是对思维的形式结构和规律进行研究的类似于语法的一门工具性学科。 思维的形式结构包括了概念、判断和推理之间的结构和联系，其中概念是思维的基本单位，通过概念对事物是否具有某种属性进行肯定或否定的回答，这就是判断；由一个或几个判断推出另一判断的思维形式，就是推理。 用数学方法来研究推理的规律称为数理逻辑。这里所指的数学方法，就是引进一套符号体系的方法，在其中表达和研究推理的规律。 数理逻辑简介 通常认为数理逻辑是由莱布尼兹(Leibniz)创立的。 数理逻辑的内容包括：证明论、模型论、递归论、公理化集合论和命题演算、谓词演算。 数理逻辑的应用 在形式语义学、程序设计方法学和软件工程领域。 在逻辑程序设计方面。 在数据库理论方面。 在程序自动生成、自动转换等的理论和技术研究中。 在形式语言理论、自动机理论、可计算理论、计算复杂性理论等方面。 在人工智能方面。 数理逻辑简介 一个土耳其商人想找一个十分聪明的助手协助他经商，有两人前来应聘，这个商人为了试试哪个更聪明些，就把两个人带进一间漆黑的屋子里，他打开灯后说：“这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的，现在，我把灯关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在自己头上，在我开灯后，请你们尽快说出自己头上戴的帽子是什么颜色的。”说完后，商人将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子藏了起来，接着把灯打开。这时，那两个应试者看到商人头上戴的是一顶红帽子，其中一个人便喊道：“我戴的是黑帽子。” 请问这个人说得对吗？他是怎么推导出来的呢？ 数理逻辑简介 数