西安邮电软件专业英语新教材.docVIP

专业英语 Professional English 软件工程专业用 《信息科学专业英语》编写组 2010年8月 目录 第一课 数学化的计算科学的前景（Lesson 1 towards a Mathematical Science of Computation） 第二课 大规模计算（Lesson 2 Extreme Scale Computing ） 第三课 GPU用于通用计算（Lesson 3 Utilisation of the GPU architecture for HPC） 第五课 云计算简介（Lesson 5 Introduction to Cloud Computing） 第六课 物联网（Lesson 6 The Internet of Things： Global Trends 2025） 第十课 数据仓库概论（Lesson 10 Data Warehouse Overview） 第十一课 面向智能体的软件工程（Lesson 11 Agent-Oriented Software Engineering） 第十二课 为什么软件不应当有所有者？（Lesson 12 Why Software Should Not Have Owners） 第十三课 关于4G（Lesson 13 About 4G） 第十四课 2020年的因特网（Lesson 14 What The Internet Might Look Like In 2020）第十五课 搜索引擎的工作原理（Lesson 15 How Do Search Engines Work）第十六课 嵌入式系统（Lesson 16 Embedded systems: A primer） 第二十一课 现代人工智能简介（Lesson 21 Introduction to Artificial Intelligence） 第二十三课 生物信息学简介（Lesson 23 Introduction to Bioinformatics） towards a Mathematical Science of Computation J. McCarthy, Stanford University 1 Introduction In this paper I shall discuss the prospects for a mathematical science of computation[1]. In a mathematical science, it is possible to deduce from the basic assumptions, the important properties of the entities treated by the science. Thus, from Newtons law of gravitation and his laws of motion, one can deduce that the planetary orbits obey Keplers laws. What are the entities with which the science of computation deals? What kinds of facts about these entities would we like to derive? What are the basic assumptions from which we should start? What important results have already been obtained? How can the mathematical science help in the solution of practical problems? I would like to propose some partial answers to these questions. These partial answers suggest some problems for future work. First I shall give some very sketchy general answers to the questions. Then I shall present some recent results on three specific questions. Finally, I shall try to draw some conclusions about practical applications and problems for future w