计算机的过去现在与未来教案(总).doc

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