浅谈计算机科学的若干基础理论-邱道文-中山大学.ppt

发布时间：2022-06-12 发布人：admin 分类：说明书资料大小：0.57M 资料格式：ppt 举报版权申诉

1f58f636-05bc-4733-a52f-91253894781f.ppt.pdf-第1页.png

第1页 / 共84页

1f58f636-05bc-4733-a52f-91253894781f.ppt.pdf-第2页.png

第2页 / 共84页

1f58f636-05bc-4733-a52f-91253894781f.ppt.pdf-第3页.png

第3页 / 共84页

1f58f636-05bc-4733-a52f-91253894781f.ppt.pdf-第4页.png

第4页 / 共84页

1f58f636-05bc-4733-a52f-91253894781f.ppt.pdf-第5页.png

第5页 / 共84页

1f58f636-05bc-4733-a52f-91253894781f.ppt.pdf-第6页.png

第6页 / 共84页

1f58f636-05bc-4733-a52f-91253894781f.ppt.pdf-第7页.png

第7页 / 共84页

1f58f636-05bc-4733-a52f-91253894781f.ppt.pdf-第8页.png

第8页 / 共84页

文本预览

浅谈计算机科学的若干基础理论信息科学与技术学院计算机科学系邱道文 2007年11月

计算学科的定义 n ACM（Association for Computing Machinery, 美国计算机协会） n IEEE-CS (Institute of Electrical and Electronics Engineers—Computer Society, 美国电气与电子工程师学会计算机分会) n EATCS(欧洲理论计算机科学协会) n 计算学科——对描述和变换信息的算法过程进行的系统研究，包括理论、分析、设计、效率、实现和应用等。 n 根本问题——什么能被有效地自动进行。它源于对算法理论、数理逻辑、计算模型、自动计算机器的研究。

计算学科的分支 n 计算机科学 n 信息系统 n 软件工程 n 计算机工程 n 信息技术 n 新增专业

内容纲要 n 计算概念的历史背景 n 计算机科学的若干基础理论（１）数理逻辑与集合论（２）代数系统（３）图论（４）形式语言与自动机 n 新的计算理论（非经典计算）——量子计算

计算机科学的最高奖——图灵奖 n 图灵（１９１２－１９５４）：英国著名数学家，计算机逻辑的奠基者，计算技术与人工智能的先驱。１９３６年提出现代计算机的数学模型——图灵机。（哥德尔） n 图灵奖：１９４６年，世界上第一台电子计算机诞生；１９６６年，ACM决定设立“图灵奖”——计算机科学中杰出的科学家，每年一般一名

数学家与图灵奖 n 大部分图灵奖获得者是学数学出生或数学家，例如： 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计算机先驱奖 n IEEE-CS设立并颁发 n １９８０开始 n 理论与实践、设计与工程实现、硬件与软件、系统与部件

什么是计算? n 通俗的讲：从一个符号串f变换成另一个符号串g ，如: n 四则运算 n 方程的求解、函数的微分积分 n 定理的证明推导 n 类型：数值计算和符号推导

分享到：

赞收藏

资料库

浅谈计算机科学的若干基础理论-邱道文-中山大学.ppt

相关推荐

课程资源

热门标签

最新资料