浅谈计算机科学的若干基础理论.ppt

浅谈计算机科学的若干基础理论 信息科学与技术学院 计算机科学系 邱 道 文 2007年11月 计算学科的定义 ACM（Association for Computing Machinery, 美国计算机协会） IEEE-CS (Institute of Electrical and Electronics Engineers—Computer Society, 美国电气与电子工程师学会计算机分会) EATCS(欧洲理论计算机科学协会) 计算学科——对描述和变换信息的算法过程进行的系统研究，包括理论、分析、设计、效率、实现和应用等。 根本问题——什么能被有效地自动进行。它源于对算法理论、数理逻辑、计算模型、自动计算机器的研究。 计算学科的分支 计算机科学 信息系统 软件工程 计算机工程 信息技术 新增专业 内容纲要 计算概念的历史背景 计算机科学的若干基础理论 （１）数理逻辑与集合论 （２）代数系统 （３）图论 （４）形式语言与自动机 新的计算理论（非经典计算）——量子计算 计算机科学的最高奖——图灵奖 图灵（ １９１２－１９５４）：英国著名数学家，计算机逻辑的奠基者，计算技术与人工智能的先驱。１９３６年提出现代计算机的数学模型——图灵机。（哥德尔） 图灵奖：１９４６年，世界上第一台电子计算机诞生；１９６６年，ACM决定设立“图灵奖”——计算机科学中杰出的科学家，每年一般一名 数学家与图灵奖 大部分图灵奖获得者是学数学出生或数学家，例如： M. Minsky, 1969 E.W. Dijkstra, 1972 D.E. Knuth, 1974 S.A.Cook,1982 D.M. Ritchie, 1983 R.M.Karp, 1985 R.E. Tarjan, 1986 J.Cocke, 1987 W.V. Kahan, 1989 R. Milner,1991, 还有很多计算复杂性的获奖者如 J.Hartmanis 另一重要奖——IEEE计算机先驱奖 IEEE-CS设立并颁发 １９８０开始 理论与实践、设计与工程实现、硬件与软件、系统与部件 什么是计算? 通俗的讲：从一个符号串f变换成另一个符号串g ，如: 四则运算 方程的求解、函数的微分积分 定理的证明推导 类型：数值计算和符号推导 计算的实质与Church－Turing论点 什么是计算、什么是可计算性 20世纪30年代到40年代，数理逻辑学家相继提出了四种计算模型 ：一般递归函数、λ可计算函数、图灵机和波斯特系统 经典计算的简要历史背景 1936年A.M. Turing提出了一类抽象的计算模型——Turing机（它与当今的计算机有同样的计算能力）。 同时期，还有A.Church（ 转换演算，1935年）。 K.Godel,S.C.Kleene,和E.Post (递归函数，1936年）等人的工作探讨可计算性问题。 Church-Turing命题：直观上可计算的函数类就是Turing机及任何与Turing机等价计算模型可计算的函数类。或任何算法过程都可被（概率）Turing机有效地模拟。 　　计算机科学与人工智能之父——A. Turing (图灵１９１２－１９５４): １９３６年提出图灵机；１９６６年第一届图灵奖（侧重在计算机科学理论和软件方面） 天才数学家，计算机之父——John von Neumann (冯·诺伊曼1903-1957 ):世界上第一台电子计算诞生于1946年2月美国 经典计算的简要历史背景（续） 1940’s和1950’s, 另一类更简单的计算模型——有限自动机及形式文法的提出（文本处理、编译程序、硬件设计、自动控制、人工智能等）。 1960’s S.Cook发展Church-Turing命题，提出计算复杂性——NP完全问题，如可满足性(SAT)。 计算机科学技术的主要分支(从授予历届图灵奖得主的研究工作) 计算机体系结构 程序设计语言 算法设计与分析 操作系统和编译程序 数据库技术 计算复杂性理论 软件工程 人工智能 基础理论(I)——数理逻辑 形式逻辑（古典逻辑）——亚里士多德（公元前４世纪）：研究思维的形式及其规律的科学。苏格拉底三段论。 数理逻辑——符号逻辑，用数学的方法研究思维；莱布尼兹。 国际上很多关于数理逻辑的著名学术期刊，如Journal of Symbolic Logic 三个阶段：第一阶段 １７世纪６０年代至１９世纪８０年代 用一些初级的数学方法处理古典逻辑演绎推理的形式和规律，也即用符号和简单的代数方法处理传统逻辑的演绎推理，代表人物有笛卡尔、莱布尼兹、德摩根、布尔 第二阶段 １９世纪８０年代至２０世纪３０年代 把初等数论和集合论等数学方法运用到逻辑上，取得较大突破。代表人物，如弗雷格、皮亚诺、罗素、希尔