欢迎来到天天文库
浏览记录
ID:13154281
大小:155.00 KB
页数:23页
时间:2018-07-21
《计算机的过去现在与未来教案(总)》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、广东商学院教案2009~2010学年第1学期课程名称计算机的过去现在与未来院(系、部)信息学院教研室软件工程授课班级全校公选授课教师袁志斌职称职务讲师教材名称逻辑的引擎二○○九年八月教案(总体部分)课程名称计算机的过去现在与未来总计:18学时课程类别全校公选学分1讲课:18学时实验:学时上机:学时任课教师袁志斌职称讲师授课对象先修课程课程说明教学目的要求教学目的:为学生展现计算机的真正本质,揭示科学发展的模式,为学生形成科学哲学思想提供一个有益的范型,理解真正的科学创新是建立艰苦卓绝的探索之上的。教学要求:1.要求学生正确理解和掌握各个时期
2、科学巨匠所面临的挑战以及天才解决方案的思想。2.要求学生必须阅读相关书籍。教学内容和重点及难点教学内容:莱布尼兹的梦想,布尔代数的思想,弗雷格的逻辑体系,康托尔对无限的探索,希尔伯特的形式化纲领,哥德尔不完备性的哲学影响,图灵的通用机思想,冯·诺依曼的计算机模型,未来计算机与人的关系。重点:以上内容所孕育的哲学理念。难点:各部分难点见单节教案教材和主要参考资料推荐书目:1.马丁·戴维斯《逻辑的引擎》,湖南科学技术出版社。2.罗素《数理哲学导论》,商务印书馆。3.G·弗雷格《算术基础》,商务印书馆。4.丽贝卡·戈德斯坦《不完备性》,湖南科学技
3、术出版社。5.罗杰·彭罗斯《皇帝新脑》,湖南科学技术出版社。6.欧内斯特·内格尔,詹姆斯·纽曼《哥德尔证明》,中国人民大学出版社。7.王浩《哥德尔》,中国人民大学出版社。计算机的过去现在与未来课程教案授课题目(教学章、节或主题):自动推理机——莱布尼兹的梦想授课时间安排第1周第5-6节教学器材与工具授课类型(请打√)理论课□讨论课□实验课□习题课□双语课程□其他□教学目的、要求(分掌握、熟悉、了解三个层次):教学目的:理解莱布尼兹的科学成就以及这些成就对其科学直觉的影响,这些直觉直接导致了莱布尼兹对于自动演算机的奇思妙想。要求:了解莱布尼
4、兹的科学成就,掌握莱布尼兹的自动演算机的思想。教学重点及难点:莱布尼兹的自动演算机的思想教学基本内容一.梦的孕育1.亚里士多德的逻辑系统对莱布尼兹的影响2.学生时代的莱布尼兹对逻辑和法律的探索3.“莱布尼兹轮”的发明4.微积分的发明加深了对符号系统的探索本节主要是介绍莱布尼兹的科学成就以及这些成就对其科学直觉的影响,这些直觉直接导致了莱布尼兹对于自动演算机的奇思妙想。通过以上介绍引导学生从科学哲学的角度来思考科学发展的规律。二.梦的世界1.将人类知识表达为普遍文字2.建立一种演算体系揭示所有命题间的关系3.制造自动演算机器,将心灵从思考中解
5、脱出来本节介绍莱布尼兹的梦想,引导学生从三百年后的角度来思考之一梦想,启发学生从哲学层面来思考科学的发展。三.梦的开始1.莱布尼兹的逻辑代数2.筹建科学院教学过程设计:莱布尼兹的生平莱布尼兹的众多科学贡献莱布尼兹的梦想莱布尼兹为梦想所做的努力教学方法及手段(请打√):讲授□、讨论□、多媒体讲解□、模型、实物讲解□、挂图讲解□、音像讲解□等。作业、讨论题、思考题:莱布尼兹的思想可能实现吗?参考资料(含参考书、文献等):课后小结:本节学生掌握较好,但未学过高等数学的学生在提到微积分时心理有恐惧感填表说明:每项页面大小可自行添减,一节或一次课写一
6、份上述格式教案。计算机的过去现在与未来课程教案授课题目(教学章、节或主题):逻辑变代数——布尔的努力授课时间安排第2周第5-6节教学器材与工具授课类型(请打√)理论课□讨论课□实验课□习题课□双语课程□其他□教学目的、要求(分掌握、熟悉、了解三个层次):教学目的:理解将逻辑系统转化为代数系统的创新思想,让学生体会到这一思想对逻辑推理的深远影响。。要求:了解布尔代数的核心思想,掌握布尔代数在计算机的深远影响。教学重点及难点:布尔代数的核心思想及其在计算机科学中的地位。教学基本内容一.贫困的数学家布尔的成长二.布尔代数的核心思想1.类或群体的概
7、念2.逻辑代数变成了普通代数3.亚里士多德的矛盾律的代数化4.亚里士多德三段论的代数化5.亚里士多德形而上学推理的代数化布尔代数是计算机专业学生有所涉及的内容,但是数字逻辑的教学中只是介绍了布尔代数的相关知识以及在数字电路设计中的应用,本部分内容是介绍将逻辑系统转化为代数系统的创新思想,让学生体会到这一思想对逻辑推理的深远影响。三.布尔与莱布尼兹之梦1.布尔体系的不足:描述性2.布尔体系的成就:逻辑演绎成为了数学分支教学过程设计:布尔的生平布尔代数的核心思想布尔代数与莱布尼兹之梦教学方法及手段(请打√):讲授□、讨论□、多媒体讲解□、模型、
8、实物讲解□、挂图讲解□、音像讲解□等。作业、讨论题、思考题:收集资料,了解布尔代数的基础知识参考资料(含参考书、文献等):课后小结:本节学生掌握较好,基础的布尔代数的运算学生是可
此文档下载收益归作者所有