导论课程第二讲201312修改学习课件.pptVIP

* 坚持学科建设 构筑学术高地 坚持学科建设 构筑学术高地 坚持学科建设 构筑学术高地 坚持学科建设 构筑学术高地 坚持学科建设 构筑学术高地 坚持学科建设 构筑学术高地 第二讲 Lecture Two 计算和信息本质 学思结合, 知行统一 专业导论 内容提要(outline) 计算机的史前史 计算的基本模型 计算机体系结构(第一台电子数字计算机的诞生) 再论计算学科的根本问题和定义 信息的本质和度量 计算本质的认识历史 算筹到算盘（中） 按口诀，“乘除不失，毫厘分明” “算法化”思想 1275,R.Lullus（西） “旋转玩具”的发明 计算机器制造的先河 1641,B.Pascal（法） 利用齿轮制成加法器 1673,G.W.V.Leibniz（德） 加减乘除计算机器 19世纪30年代，C.Babbage（英） 计算对数、三角函数 20世纪20年代，V.Bush (美） 解微分方程组的电子模拟计算机 专业导论 专业导论 计算本质的认识历史 康托尔的集合论 -1845-1918， 数学大厦的基石 罗素悖论 -1901， 理发师难题,引发第三次数学危机 布尔代数 -1854, 二值逻辑代数体系 希尔伯特纲领 –20世纪初, 形式系统和形式理论 哥德尔 -1931， 形式系统的不完备定理 图灵 -20世纪30年代后期, 对计算本质的揭示 专业导论 计算的