Chapter1(命题逻辑篇).pptVIP

离散数学（命题逻辑篇） Discrete Mathematics （Logic of Prepositions） 前言 离散数学成为计算机专业基础理论的核心课程是计算机科学飞速发展的必然结果。多年来，国内分别以分课型即把离散数学划分为几门课程或单课型即把分课型的几个课程揉合成一门课程的方式向本科二、三年级的学生开设。 前言 由于计算机科学与工程领域在很大程度上依赖离散数学提供数学理论，即使仅仅是以研究离散数量的结构和相互关系为目标，其内容的浩繁和材料的分散出足以怄教师和学生往往感到沉重和困难。 前言 编写计算机专业离散数学基础教程，以简明的方法既叙及它的主要组成内容，也介绍它的各个重要事实，以计算机专业教学使用为度，不去讨论那些艰深的高级课题，应当说这是教学改革的需要。作片以己力不从心的能力完成这一尝试，是多年教学中师帅生共同琢磨和尽可能地广收各家之长的结果，寄希望在推动我国计算机科学的基础教育中也作出点贡献。 前言 计算机专业基础教材《离散数学》以及配套课件适合做计算机专业本科生、专科生离散数学课程的教材或教学参考书，也适合作计算机工作者以自学为目的拓广理论基础。 前言 由于作者水平有限，书以及课件中缺点在所难免，恳请读者不吝指正。 作者 2004年4月于呼和浩特 内容简介 离散数学是计算机专业的的重要理论基础。本科生的的学习，主要是培养学生抽象思维和严格的逻辑推理能力，为今后处理离散信息，从事计算机软件的开发和设计以及计算机的其他应用打好教学基础。 内容简介 离散教学是计算机科学与工程专业的数学工具。本书的本要内容包括数理逻辑、抽象代数、格与布尔代数、图论等知识。对集合论的必要内容也做了相关介绍。 内容简介 离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础，所以又称为计算机数学． 人们已公认，高技术本质上是数学技术。因此可以说，计算机科学与技术说到底根本是数学技术．事实上，从计算机产生到以后它的每一步发展都离不开数学．1936年，英国数学家图灵(A.M.Turing)发表了著名论文 “理想计算机”，从而给出了计算机的理论模型． 内容简介 1946年在著名数学家冯·诺依曼(J.Von Neumann)的领导下，制造了世界上第一台计算机ENIAC(Electronic Numerical Integrator and Calculator). 尔后，计算机各代的发展也都无不证实了这一点． 离散数学是计算机科学与技术专业的核心、骨干课程．一方面，它给后继课，如数据结构、编译系统、操作系统、数据库原理和人工智能等，提供必要的数学基础；另一方面，通过学习离散数学，培养和提高了学生的抽象思维和逻辑推理能力，为学生今后继续学习和工作，参加科学研究，攀登科技高峰，打下坚实的数学基础. 内容简介 离散数学内容很多，本课程主要有5部分：数理逻辑、集合论、数论、代数结构和图论．本课件是编著者在多年教学实践的基础上，参考了国内外多种教材，并结合自己一些科研成果，在力求通俗、流畅、简明、扼要的指导思想下编写而成． 本课件在编写过程中有几点考虑，说明如下： (1)本课程除讲述离散数学最基本的比较典型的传统内容外，增添了数论基础知识，以便为学习和理解密码理论打下基础. 内容简介 (2)在编写过程中，力图做到“少而精”，注意突出重点，力求论证详细明了，便于自学，在基本定理的证明中，反复运用归纳法，希望读者不但了解定理内容，同时应该掌握这一证明方法． (3)全课程涉及数学5个分支，每一分支都有数百字的说明，概述了它的发展，这对于掌握其内容是十分有益的． 内容简介 (4)在加强基本理论教学的同时，注意了分析问题、解决问题的技能培养和训练．书中各部分内容均配有典型例子，并加以说明．此外，各章都配有适量的习题，希望通过做习题这个环节，来培养、提高学生解决问题的能力和技能． (5)课程中的5部分，一方面各自成篇，教师根据需要可以单独选讲几篇；另一方面，尽可能注意各篇之间的联系，规范并统一了符号和术语． 数理逻辑 逻辑学: 研究人的思维形式和规律的科学．由于研究的对象和方法各有侧重而又分为形式逻辑、辩证逻辑和数理逻辑． 数理逻辑: 用数学方法研究推理，是研究推理中前题和结论之间的形式关系的科学．所谓推理就是由一个或几个判断推出一个新判断的思维形式. 这里所说的数学方法就是建立一套表意符号体系，对具体事物进行抽象的形式研究的方法．因此，数理逻辑又称符号逻辑．这种方法的优点是表达简洁、推理方便、概括性好、易于分析等． 数理逻辑 一般认为，数理逻辑是由德国数学