[研究生入学考试]1命题逻辑.ppt

离散数学;课程的学时分配： （64学时）;绪 论;一.此课的性质、内容：;内容：1. 数理逻辑（第1、2章） 2. 集合论 （第3、4、5章） 3. 代数系统（第6、7章） 4. 图论 （第8章） *5. 组合数学 *6. 形式语言与自动机 (由于时间的关系，我们只讨论前四部分内容。); ;二.学习此课的目的 ：;计算机软件的发展： 程序设计语言的发展，从机器语言?汇编语言?高级面向过程语言?面向对象语言?智能语言? …， 系统软件的发展，如操作系统，从单用户? 多用户? 网络分布式操作系统， …， 数据库、网络软件、开发工具软件、应用软件… 计算机应用越来越广，所有领域几乎无所不及。 计算机科学已发展成为一门一级学科。 计算机的产业已发展成为一个高科技的新兴产 业。;所有这些发展都依赖于离散数学、数据结构、 编译原理、操作系统、数据库原理、软件工程、 网络等理论。其中离散数学是基础，其它的理论 中都用到了离散数学中的基本概念、基本思想、 基本方法。 这说明了理论常常可以导致实践方面的重大进 展，即理论对实践的指导作用。 计算机专业的学生学习计算机不同于非计算机 专业的学生学习计算机，必须掌握离散数学的理 论，才能更好地了解和从事计算机科学的研究。;2.此课是主干课，也是后继课的基础课 计算机专业的后续课中都大量地应用到离散数学 中的基本理论，所以要想学好专业课，必须先学 好离散数学。 3.培养学生抽象思维和逻辑推理能力、创新能力 在大学学习知识很重要，但是能力的培养更重 要。正如著名的物理学家劳厄所说：“重要的不 是获得知识，而是发展思维能力。教育无非是一 切已学过的东西都遗忘的时候，所剩下来的东 西。” 剩下的就是思维能力，它可以长期起作用。 ; 北京大学姜伯驹教授谈到数学时说：“数学是 学习科学技术的钥匙和先决条件。” 所以必须提高学生的数学修养(数学素质)。 数学修养包括：理解、抽象、见识、体验。 理解能力：逻辑推理能力、不同语言对应的转 换能力、想象能力等。 抽象能力：敏锐的洞察力，灵活的联想类比、 举一反三能力，特别是把实际问题转化为数学问 题的能力。 ;见识：就是让学生见识一些重要的数学思想、 数学方法以及用数学解决实际问题的著名事例。 有了这样见识 才会思路宽，办法多，遇到问题 会自觉求助于数学。 体验:数学是一种分析问题、解决问题的实践 活动。与打猎一样是活本领。像转换观点、选择 方法、熟悉软件、检验结果、发现毛病、查找原 因多环节只有亲身经历才能学到手。 学到这些活本领，就是一些基本素质问题。 离散数学可以帮助学生提高数学素质。提高 创造力。;三.此课的特点及学习方法：; 第一篇 数理逻辑;一 .形式逻辑;推理方法;演绎推理 举例;二. 数理逻辑;弗雷格 (G.Frege,1848-1925,德国) 、皮亚诺 (G.Peano, 1883-1932,意大利)和罗素(B.Russell,1870-970,英国)建立了命题演算和谓词演算。突破了古典形式逻辑的局限性，形成了一个完整的逻辑体系。 希尔伯特(D.Hilbert,1862-1943,德国)和哥德尔(Kurt G?del,1906-1978,美籍奥地利数学家)等人使得数理逻辑发展成为一门内容丰富的学科。 ;数理逻辑的主要内容： 逻辑演算 证明论 公理集合论 递归论 模型论 我们这里只涉及逻辑演算中“命题逻辑”和“谓词逻辑” 。 数理逻辑与数学的其它分支、计算机科学、人 工智能、语言学等学科均有密切联系。 下面就前面两个例子，说明如何将推理符号化的。;数理逻辑把推理符号化之一 ;数理逻辑把推理符号化之二;使用计算机必须首先学会编“程序”，那么什么 是程序？ 程序＝算法＋数据 算法＝逻辑＋控制 可见“逻辑”对于编程序是多么重要。要想学 好、使用好计算机，必须学习逻辑，此外，通过 学习逻辑，掌握逻辑推理规律和证明方法 ，会 培养学生的逻辑思维能力，提高证明问题的技巧。;钱学森谈“计算机与数理逻辑”; 而机器则依次而运行；如稍有错误，将立 即得到毫无意义的结果。可见必须有足够的 数理逻辑的训练，熟悉推理过程的全部细节, 才能从事程序设计。 此外，程序设计是一个很细致又很麻烦的 工作，如何从事程序设计，如何防止在计算 过