前沿技术讲座目的意义和感受.pptVIP

计 算 机 技 术 前 沿 浙江大学计算机学院 吴飞 Wufei@ 什么是前沿 Highly developed or complex:高度发达的，复杂的（强调实用性，如受到保护的专利技术与代码） Being at a higher level than others:高于其余的水平（强调专业性，如每个公司的业务范围）： Ahead of the times; progressive:超前的；进步的（强调创性研究，如基础科研项目）： Far along in course or time:后阶段的，晚期的： （强调成熟性，如登陆火星或航天飞机使用） 前沿的东东受到国家鼓励 其实，一些前沿的东西很多时候就在我们身边 863资助的游戏项目 “网络游戏通用引擎研究及示范产品开发”，金山公司、中科院计算所以及北京航空航天大学联合承担 “智能化人机交互网络示范应用”，中科院自动化所与炎黄新星承担 对自动计算漫长追求 什么是计算？ 什么是可以计算的？ 什么是计算的形式化描述？ 什么是可以计算的 计算的验证形式 数据测试 形式化测试 近代计算技术的起源 图灵的伟大贡献： Turing ! 计算机界以他的名字命名了“图灵奖”，从1966年每年颁授一次，被誉为计算机界的“诺贝尔奖！” 任何事物的产生均有理论准备，计算机的产生也不例外 20世纪初几个有关计