第一章数理逻辑.ppt

引言1.计算机专业的学生为什么要学习离散数学？2.离散数学包含的内容?3.怎样学习离散数学？1什么是离散数学？ 离散数学是现代数学的一个重要分支，是计算机类专业的重要课程。它以研究离散量的结构及其相互间的关系为主要目标，其研究对象一般是有限个或可数个元素。 2离散数学与计算机科学计算机学科的一个重要特点——离散性2离散数学与计算机科学离散数学的思维方法能够为计算机科学所用，“离散数学能够使我们在更高的高度去了解和学习计算机科学”！计算机科学知识掌握的过程：“硬件跟着软件走，软件跟着模型走，模型跟着学科实际应用走；学科实际应用跟着自然走”！ ——需要如下三个方面的能力：构造模型、算法设计、程序设计的能力。思维训练：构造性思维3关于课程学习课程特点知识点集中，概念和定理多方法性强 ——阅读，思考，练习，阅读，总结，……学习内容 数理逻辑、集合论、抽象代数、图论4.计算科学与数学的关系至于计算机技术专业的学生为何要学习数学这个问题的答案：计算机科学植根于数学，从而数学是必须掌握的基础知识；另外如果我们已经拥有牢固的数学基础，则能大大提高我们本身的逻辑推理能力、抽象思维能力和形式化思维能力，从而今后在学习任何一门计算机科学的专业主干课程时，都不会遇上任何思维理解上的困难。4计算学科与离散数学的关系在计算机科学知识掌握的过程中应是“硬件跟着软件走，软件跟着模型走，模型跟着学科实际应用走；学科实际应用跟着自然走”。关于学生的培养目标就是要培养自己的学生能够根据实际应用问题提出计算机应用的模型，并用硬件和软件资源去构造计算机系统去完成模型中所提出来的工作。构造模型的能力；算法设计的能力；程序设计的能力。6.离散数学在国外的状况纵观全世界软件产业的情况，易见一个奇特的现象：美国处于绝对的垄断地位。造成这种现象的一个根本的原因就是计算机科学在美国的飞速发展。当今计算机科学界的最权威人士很多都是研究离散数学出身的。美国最重要的计算机科学系（MIT，Princeton，Stanford，Harvard，Yale，….）都有第一流的离散数学家。计算机科学通过对软件产业的促进，带来了巨大的效益，这已是不争之事实。6.离散数学在国外的状况美国政府也成立了离散数学及理论计算机科学中心DIMACS（与Princeton大学，Rutgers大学，ATT联合创办的，设在Rutgers大学），该中心已是离散数学理论计算机科学的重要研究阵地。美国国家数学科学研究所（MathematicalSciencesResearchInstitute，由陈省身先生创立）在1997年选择了离散数学作为研究专题，组织了为期一年的研究活动。6.离散数学在国外的状况值得一提的是亚洲的发达国家也十分重视离散数学的研究。日本有离散数学研究中心，并且从美国引进人才，不仅支持日本国内的研究，还出资支持美国的有关课题的研究，这样使日本的离散数学这几年的发展极为迅速。台湾、香港两地也从美国引进人才，大力发展离散数学。新加坡，韩国，马来西亚也在积极推动离散数学的研究和人才培养。。世界各地对离散数学的如此钟爱显然是有原因的，那就是没有离散数学就没有计算机科学，没有计算机软件。5.离散数学在国外的状况20世纪公认的伟大数学家盖尔芳德预言离散数学和几何学将是21世纪数学研究的前沿阵地。这一观点不仅得到国际数学界的赞同，也得到了中国数学界的赞同和响应。除上述以外，欧洲也在积极发展离散数学，英国、法国、德国、荷兰、丹麦、奥地利、瑞典、意大利、西班牙等国家都建立了各种形式的离散数学研究中心。近几年，南美国家也在积极推动离散数学的研究。澳大利亚，新西兰也组建了很强的离散数学研究机构。6.关于离散数学的一些应用例1:在日常生活中我们常常遇到离散数学的问题。如果你仔细留心一张世界地图，你会发现用一种颜色对一个国家着色，那么一共只需要四种颜色就能保证每两个相邻的国家的颜色不同。这样的着色效果能使每一个国家都能清楚地显示出来。但要证明这个结论确是一个著名的世界难题，最终借助计算机才得以解决，最近人们才发现了一个更简单的证明。6.关于离散数学的一些应用例2:一个邮递员从邮局出发，要走完他所管辖的街道，他应该怎样选择什么样的路径，这就是著名的中国邮递员问题，由中国离散数学家管梅谷教授提出，著名离散数学家J.Edmonds和他的合作者给出了一个解答。6.关于离散数学的一些应用例3:一个班级的学生共计选修A、B、C、D、E、F六门