英语翻译The first type of activity is analytic in nature;the sec

英语翻译
The first type of activity is analytic in nature;the second is oriented toward syntheses,experimentation,and probing for new empirical knowledge.A continuous interaction between these activities id essential for a vigorous rate of progress in the discipline.The situation is analogous to the interaction between theoretical and experimental work in any rapidly developing natural science.
Experimental work in computer science requires extensive use of computers,and it often stimulates new deveplopments in computer design and utilization.Typical experimental activities may involve the development and evaluation of a new computer language or the testing of a procedure for a new class of problem.Theoretical work in the discipline relies on several branches of mathematics and logic.A typical theoretical problem may focus on the chatacterization of a class of computer procedures(e.g.procedures for sorting data),the analysis of their structure ,and the establishment of bounds on the storage space and time that they require for execution.The objects of study in this example are computer procedures and their properties.The theoretical treatment of these objects is conducted within mathematical systems that provide the analytical framework needed to obtain desired insights and specific results.Just as mathematics is used in chemistry(say,to develop theories of certain chemical processes),mathematics and logic are used in computer science to study information processes.

第一类活动是分析性质的;第二是面向的合成,实验,探索新的经验knowledge.a连续之间的互动,这些活动所必需的编号积极的进展速度,在discipline.the的情况是类似的到之间的相互作用的理论和实验工作在任何迅速发展的自然科学.
试点工作在计算机科学,需要广泛使用计算机,它常常激发新的deveplopments在计算机设计和utilization.typical实验性的活动可能涉及的发展和评价一种新的计算机语言或测试程序,一类新的问题.理论工作中的纪律依赖于几个分支的数学和逻辑.一个典型的理论问题可能会集中于chatacterization一类的计算机程序（例如程序排序数据） ,分析其结构,建立约束对存储空间和时间,他们要求执行.该研究对象在这方面的例子是计算机程序和他们的物业.理论治疗这些对象是进行数学系统提供的分析框架需要获得想要的见解和具体的成果.正如数学是用来在化学（也就是说,发展理论的某些化学过程） ,数学与逻辑是用在计算机科学,研究信息的过程.