信息科学类专业英语Lesson 1 Towards a Mathematical Science of Computation.pptVIP

1 Introduction 　In this paper I shall discuss the prospects for a mathematical science of computation. 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 Newton’s law of gravitation and his laws of motion, one can deduce that the planetary orbits obey Kepler’s 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 re