这是一个理论计算机科学和算法博弈论的题目。
This is a proposal in theoretical computer science and algorithmic game theory.
可满足性问题(SAT)是当代理论计算机科学的核心问题。
Satisfiability (SAT) problem has been the core problem of research on computational theory.
离散数学是最普遍的数学理论计算机科学领域的有益的通用名称。
Discrete mathematics is the common name for the fields of mathematics most generally useful in theoretical computer science.
我曾说过在过去十年我学过高等理论计算机科学和数学，大部分时间正是在MIT。
I explained that I had been studying theoretical computer science and mathematics at a high-level for the past decade, much of it spent right here at MIT.
现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
第四种学士学位规划则是针对有兴趣研究理论计算机科学的数学与计算机科学学位。
A fourth undergraduate program leads to the degree Bachelor's of science in Mathematics with computer science; it is intended for students seriously interested in theoretical computer science.
近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视。
In recent years semantic ideas and methods have been emphasized in many branches of theoretical computer science.
他是理论计算机科学领域里真正的英雄；他在解决某些悬而未决的科学问题上的勇气和创造力是人们学习的楷模。
He is truly a heroic figure in theoretical computer science and a role model for his courage and creativity in addressing some of the deepest unsolved problems in science.
在这个项目的框架下，我们的研究团体每年将会派一名世界知名的计算机科学家访问姚教授的理论计算机科学所。
And under this program, our research group will support a world-renowned computer scientist every year to visit the University at Professor Yao's Institute for Theoretical computer Science.
类型系统一直是理论计算机科学的研究热点，特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用。
In recent years, peoples have studied many type systems, and the type systems with high order subtyping play an important role in the research of formal foundation of object oriented technology.
本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。
This paper provides an intuitive and easily understandable overview of some fundamental ideas in the area of theoretical computer science, especially those related to logic and semantics.
这里有一个巨大的背景……组织理论，心理学，动机以及……所有这些东西都融入到计算机科学中。
There is a huge background there … organizational theories, psychology, motivation and … all this stuff all coming into computer science.
作为每个课程的重要组成部分，理论在计算机科学中有着特殊的价值。
An important component of any curriculum, theory is especially valuable in computer science.
当你认识到计算机科学许多方面和所学到的理论课程相关联的时候会令你眼前一亮。
You can almost see the lights come on in their minds when they realize that many aspects of computer science are linked to concepts they learned in theory classes.
第三，每个星期四我们都有理论研讨会，一到两个小时的时间进行交流和探讨有关在计算机科学和数学理论上感兴趣的问题。
Third, on Thursdays we have theory seminar, a one-to-two-hour talk and discussion about interesting problems in theoretical computer science and mathematics.
不过现如今的许多计算机科学研究更加关注时间效率，特别是NP完全问题中的理论时间边界(比如旅行商人问题，这是完全NP中一个重要的问题，译者注)。
Most of the research in Computer Science these days is devoted to time efficiency, particularly the theoretical time barrier of NP-Complete problems (like the Traveling Salesman problem).
当然，他们也问刚毕业的大学生一些关于计算机科学理论的问题，如：请写一个二分查找程序。
And, of course, they asked new university graduates about computer science theory; "Write me a binary search."
您可能注意到，我们已经讨论了较基础，较理论的计算机科学的课程。
You might notice that I've been discussing the more fundamental, theoretical computer science courses.
他说：“我们只是大量炮制了只知道理论的毕业生，所谓的计算机科学家出从来没有搞过编程。”
"We were churning out graduates who only knew theory, computer scientists who had never done any programming," he said.
由于我没有计算机科学学位，因此也就没有大多数理论知识。
Since I don't have a CS degree, I missed most of that theory.
组合网络理论是数学和计算机科学交叉形成的一个新的研究领域，是互联网络研究的重要工具。
As an essential tool for interconnected network research, the Theory of Combination network is a new research field which comes from the crossing subjects of Mathematics and Computer Science.
主动磁轴承技术是一种高新技术，其研究涉及到电磁学、控制理论、机械学、转子动力学以及计算机科学等多个学科的知识。
AMB is one of the advanced technology, and the research come down to Electromagnetics, Control Theory, Mechanics, Rotor Dynamics and Computer Science, and so on.
主动磁轴承技术足一种高新技术，其研究涉及到电磁学、控制理论、机械学、转于动力学以及计算机科学等众多学科的知识。
AMB is one of the advanced technology, and the research come down to Electromagnetism, Control Theory, Mechanics, Rotor Dynamics and Computer Science, and so on.
现代决策技术是集成系统建模、统计分析、优化理论与计算机科学等理论和方法的一门综合性应用学科。
Modern DM techniques have developed into a comprehensive integration of the theories and methods of System Modeling, Statistics Analysis, Optimization Theory, and Computer Science, etc.
智能计算机辅助教学(ICAI)系统是以人工智能科学、认知科学和思维科学为理论基础的一种计算机辅助教学的应用模式。
Intelligent Computer Assisted Instruction (ICAI) is one of the application modes in CAI. It is based on the artificial intelligence science, cognitive science and thought science.
智能计算机辅助教学(ICAI)系统是以人工智能科学、认知科学和思维科学为理论基础的一种计算机辅助教学的应用模式。
Intelligent Computer Assisted Instruction (ICAI) is one of the application modes in CAI. It is based on the artificial intelligence science, cognitive science and thought science.
应用推荐