计算机的过去现在与未来教案总文档格式.docx

1、实验： 学时上机：任 课教 师职 称授 课对 象先 修课 程 说 明教 学目 的要 求教学目的：为学生展现计算机的真正本质，揭示科学发展的模式，为学生形成科学哲学思想提供一个有益的范型，理解真正的科学创新是建立艰苦卓绝的探索之上的。教学要求：1. 要求学生正确理解和掌握各个时期科学巨匠所面临的挑战以及天才解决方案的思想。2. 要求学生必须阅读相关书籍。内 容和 重点 及难 点教学内容：莱布尼兹的梦想，布尔代数的思想，弗雷格的逻辑体系，康托尔对无限的探索，希尔伯特的形式化纲领，哥德尔不完备性的哲学影响，图灵的通用机思想，冯诺依曼的计算机模型，未来计算机与人的关系。重点： 以上内容所孕育的哲学理念

2、。难点： 各部分难点见单节教案教材和主要参考资料推荐书目：1马丁戴维斯 逻辑的引擎，湖南科学技术出版社。2罗素数理哲学导论，商务印书馆。3G弗雷格算术基础，商务印书馆。4丽贝卡戈德斯坦不完备性，湖南科学技术出版社。5罗杰彭罗斯皇帝新脑，湖南科学技术出版社。6欧内斯特内格尔，詹姆斯纽曼哥德尔证明，中国人民大学出版社。7王浩哥德尔，中国人民大学出版社。 计算机的过去现在与未来 课程教案授课题目（教学章、节或主题）：自动推理机莱布尼兹的梦想授课时间安 排第1周第 5-6节教学器材与工具授 课 类 型（请打）理论课 讨论课 实验课 习题课 双语课程 其他教学目的、要求（分掌握、熟悉、了解三个层次）：理

3、解莱布尼兹的科学成就以及这些成就对其科学直觉的影响，这些直觉直接导致了莱布尼兹对于自动演算机的奇思妙想。要求：了解莱布尼兹的科学成就，掌握莱布尼兹的自动演算机的思想。教学重点及难点：莱布尼兹的自动演算机的思想教 学 基 本 内 容一梦的孕育1亚里士多德的逻辑系统对莱布尼兹的影响2学生时代的莱布尼兹对逻辑和法律的探索3“莱布尼兹轮”的发明4微积分的发明加深了对符号系统的探索本节主要是介绍莱布尼兹的科学成就以及这些成就对其科学直觉的影响，这些直觉直接导致了莱布尼兹对于自动演算机的奇思妙想。通过以上介绍引导学生从科学哲学的角度来思考科学发展的规律。二.梦的世界1将人类知识表达为普遍文字2建立一种演算

4、体系揭示所有命题间的关系3制造自动演算机器，将心灵从思考中解脱出来本节介绍莱布尼兹的梦想，引导学生从三百年后的角度来思考之一梦想，启发学生从哲学层面来思考科学的发展。三.梦的开始1莱布尼兹的逻辑代数 2筹建科学院教学过程设计：莱布尼兹的生平莱布尼兹的众多科学贡献莱布尼兹的梦想莱布尼兹为梦想所做的努力教学方法及手段（请打）：讲授、讨论、多媒体讲解、模型、实物讲解、挂图讲解、音像讲解等。作业、讨论题、思考题：莱布尼兹的思想可能实现吗？参考资料（含参考书、文献等）：课后小结：本节学生掌握较好，但未学过高等数学的学生在提到微积分时心理有恐惧感填表说明： 每项页面大小可自行添减，一节或一次课写一份上述格

5、式教案。计算机的过去现在与未来 课程教案逻辑变代数布尔的努力第2周第 5-6节理解将逻辑系统转化为代数系统的创新思想，让学生体会到这一思想对逻辑推理的深远影响。了解布尔代数的核心思想，掌握布尔代数在计算机的深远影响。布尔代数的核心思想及其在计算机科学中的地位。一贫困的数学家布尔的成长 二布尔代数的核心思想1类或群体的概念2逻辑代数变成了普通代数3亚里士多德的矛盾律的代数化4亚里士多德三段论的代数化5亚里士多德形而上学推理的代数化布尔代数是计算机专业学生有所涉及的内容，但是数字逻辑的教学中只是介绍了布尔代数的相关知识以及在数字电路设计中的应用，本部分内容是介绍将逻辑系统转化为代数系统的创新思想，

6、让学生体会到这一思想对逻辑推理的深远影响。三布尔与莱布尼兹之梦1布尔体系的不足：描述性2布尔体系的成就：逻辑演绎成为了数学分支布尔的生平布尔代数的核心思想布尔代数与莱布尼兹之梦收集资料，了解布尔代数的基础知识本节学生掌握较好，基础的布尔代数的运算学生是可以接受的突破到绝望弗雷格的痛苦第3周第 5-6节理解弗雷格的逻辑体系，与莱布尼兹自动演算机的距离。了解弗雷格的逻辑体系，与莱布尼兹自动演算机的距离。弗雷格的逻辑体系，罗素悖论一弗雷格的生平及科学贡献二弗雷格的逻辑体系1概念文字：现代逻辑符号系统的创立：该书是一种模仿算术语言构造的纯思维的形式语言，被誉为也许是自古以来最重要的一部逻辑学著作。在此

7、书中，弗雷格试图找到一个能够包含数学实践中全部演绎推理的逻辑系统。2算术基础：逻辑体系的牛刀小试弗雷格希望能为自然数提出一种纯粹逻辑的理论，从而证明算术，微积分的所有进展乃至一切数学都可以看作是国际的分支。于是，弗雷格希望能用纯逻辑术语定义自然数，然后再用他的逻辑导出它们的性质。3致命的一击：罗素悖论用集合的集合进行推理很容易导致矛盾，这一矛盾表明弗雷格的体系所基于的那些前提是靠不住的。三弗雷格与莱布尼兹之梦1概念文字体现了莱布尼兹所憧憬的普遍文字。2弗雷格的体系演绎极其复杂，离莱布尼兹的自动推理尚远。弗雷格的生平弗雷格的逻辑体系弗雷格与莱布尼兹之梦阅读算术基础弗雷格的逻辑体系的理解对学生是个

8、挑战无限的探索康托尔的挑战第4周第 5-6节理解康托尔的无穷所带来的对人类思想的深刻影响。了解康托尔的无穷，知道科学前进的阻力与代价。康托尔的无穷一康托尔的生平简介二对无限的探索1无限造物主的领地康托尔不顾高斯的警告，迎接挑战去创立一种关于实无限的深刻而一致的数学理论。康托尔的工作引发了一阵阵的批评浪潮，不仅是数学家，而且连哲学家和神学家也纷纷抨击这个人的鲁莽无理：他竟然把数学科学的方法带进迄今为止神圣不可侵犯的无限领域。2无穷集的大小是不同的研究无穷集合的数目时有以下方法：用一一对应关系来考察集合的大小，而观念的创新是无限集合与其子集相同的元素数目。3连续统假设问题自然数集合的基数和实数集的

9、基数之间不存在别的基数4对角线方法三康托尔的工作对计算机科学的影响康托尔的生平简介对无限的探索康托尔的工作对计算机科学的影响无穷也有大小？为文科生证明实数集不可数有挑战性希尔伯特的营救第5周第 5-6节希尔布特纲领的缘起，努力与影响。了解希尔布特纲领的基本思想，23个数学难题。希尔布特纲领的基本思想一希尔伯特的生平简介二希尔伯特对数学的营救1早期的胜利希尔伯特早期的重要工作包括几何基础，他将集合的一致性问题归结为算术地一致性问题。2新世纪的号角希尔伯特的23个难题在1900年巴黎国际数学家代表大会上，希尔伯特根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。3元数学

10、希尔伯特首先引进了带有正则性的“元数学”，这也就是现在所说的证明论。另一个重要的现代分支是模型论。哥德尔的不不可判定性，某种意义上来说，是迄今为止元数学与数学哲学的最高成就。三希尔伯特的判定问题在计算机科学中的地位希尔伯特的生平简介希尔伯特对数学的营救希尔伯特的判定问题在计算机科学中的地位了解希尔伯特23个数学难题公理化思想学生理解有困难希尔伯特纲领的破灭哥德尔的证明第6周第 5-6节理解哥德尔的证明的哲学意义。了解哥德尔的证明的内容，掌握其理论的哲学意义。哥德尔的科学思想一哥德尔的生平简介二哥德尔的证明1维也纳学派的主张 2哥德尔的完备性定理3不可判定命题哥德尔于1931年证明并发表的两条定

11、理。简单地说，第一条定理指出：任何一个相容的数学形式化理论中，只要它强到足以蕴涵皮亚诺算术公理，就可以在其中构造在体系中既不能证明也不能证否的命题。把第一条定理的证明过程在体系内部形式化后，哥德尔证明了他的第二条定理。该定理指出：任何相容的形式体系不能用于证明它本身的相容性。4希尔伯特纲领与哥德尔的证明哥德尔的证明彻底粉碎了希尔伯特计划的哲学企图。希尔伯特提出，像实分析那样较为复杂的体系的相容性，可以用较为简单的体系中的手段来证明。最终，全部数学的相容性可以归结为基本算术的相容性。但哥德尔的第二条定理证明了基本算术的相容性不能在自身内部证明，因此当然就不能用来证明比它更强的系统的相容性了。三科

12、学双子星尔德尔与爱因斯坦哥德尔的生平简哥德尔的证明科学双子星尔德尔与爱因斯坦哥德尔的证明能说明计算机不可能有智能吗？哥德尔的思想太深邃，时间太短通用计算机的灵魂图灵的伟大思想第7周第 5-6节理解图灵机。理解图灵机，知道图灵机对于计算理论的重要意义。一图灵的生平简介二图灵机的诞生1希尔伯特的判定问题的算法 希尔伯特希望找到一种范围极广的算法，将人的一切演绎推理都还原为一步步地计算，它在很大程度上将实现莱布尼兹的梦想。2图灵机的诞生数学问题的副产品图灵分析了人在执行命令是的操作，将计算归结为几个简单的动作，他发现了通用计算机的数学模型。3图灵机简介4图灵对康托尔对角线方法的应用5不可解问题 判定

13、问题在算法上是不可解的三图灵机与莱布尼兹的梦想图灵的生平简介图灵机的诞生图灵机与莱布尼兹的梦想用自己的语言表述图灵机图灵机的粗浅理解并不太困难，但是对于计算理论的兴趣似乎不太高通用计算机的诞生冯诺依曼第8周第 5-6节理解冯诺依曼机的模型，该模型的优缺点。诺依曼机的模型，可以对该模型的优缺点进行分析。冯诺依曼机的模型，可以对该模型的优缺点进行分析一冯诺依曼的生平介绍二冯诺依曼机的诞生1冯诺依曼与ENIAC2EDVAC与冯诺依曼计算机的体系结构诺依曼计算机的体系结构：存储程序，程序控制3图灵与ACE机4计算机世界众神谱：现代计算机是逻辑与工程的复杂的混合体，从图灵机到一台活生生的现代计算机决不是

14、一个人的努力可以完成的，对自动计算机器的思索与实现除了以上各章数学家，逻辑学家和哲学家的上下求索外，我们不应该忘记从工程的角度对计算机的诞生作出卓越贡献的人们，本节就对他们的工作进行简介，不仅仅为了纪念，我们可以思考的有很多。三埃克特，冯诺依曼和图灵对现代计算机的影响冯诺依曼的生平介绍埃克特，冯用自己的语言描述冯诺依曼机本节学生掌握较好超越梦想我们的篇章第9周第 5-6节分析计算机的未来。了解当今计算机科学的重大问题，给学生以大量思考的空间。当今计算机科学的重大问题一冯诺依曼计算机结构的评价诺依曼计算机结构的优缺点 2冯诺依曼计算机结构的突破二计算机能思考吗？1强人工智能 2弱人工智能3哲学争论：如果一台机器的唯一工作原理就是转换编码数据，那么这台机器是不是有思维的？三计算机不能做什么？1计算理论简介：哪些问题是可解的，哪些问题是不可解的？哪些问题是容易的，哪些是艰难的？2量子计算机展望量子存储器具有巨大的存储能力，量子计算具有平行性，量子计算具有全局性，某些量子算法具有加速能力，某些量子算法具有克服计算复杂性的能力计算机能思考吗？计算机不能做什么？计算机有智能吗？本节开放性问题较多，学生掌握较好，气氛活跃