You might notice that I've been discussing the more fundamental, theoretical computer science courses.
您可能注意到，我们已经讨论了较基础，较理论的计算机科学的课程。
Concurrent computation model is one of the most important problems in theoretical computer science.
并发计算模型是计算机科学研究的重要问题之一。
In recent years semantic ideas and methods have been emphasized in many branches of theoretical computer science.
近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视。
Cohen was a physics major at Harvard, and he went on to study theoretical computer science at UC Berkeley, earning a master's.
Cohen原来在哈佛读的是物理学，后来又到加州伯克利去读理论计算机学的硕士。
Discrete mathematics is the common name for the fields of mathematics most generally useful in theoretical computer science.
离散数学是最普遍的数学理论计算机科学领域的有益的通用名称。
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。
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.
我曾说过在过去十年我学过高等理论计算机科学和数学，大部分时间正是在MIT。
Third, on Thursdays we have theory seminar, a one-to-two-hour talk and discussion about interesting problems in theoretical computer science and mathematics.
第三，每个星期四我们都有理论研讨会，一到两个小时的时间进行交流和探讨有关在计算机科学和数学理论上感兴趣的问题。
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.
他是理论计算机科学领域里真正的英雄；他在解决某些悬而未决的科学问题上的勇气和创造力是人们学习的楷模。
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.
本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。
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.
在这个项目的框架下，我们的研究团体每年将会派一名世界知名的计算机科学家访问姚教授的理论计算机科学所。
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.
第四种学士学位规划则是针对有兴趣研究理论计算机科学的数学与计算机科学学位。
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).
不过现如今的许多计算机科学研究更加关注时间效率，特别是NP完全问题中的理论时间边界(比如旅行商人问题，这是完全NP中一个重要的问题，译者注)。
This Course focuses on practical applications, has strong theoretical and practical meanings, and has an important position in the computer science curriculum.
本课程面向实际应用，具有较强的理论性和实践性，在计算机学科课程中具有重要位置。
Therefore, for both practical and theoretical reasons, sorting is probably one of the most widely studied problems in computer science.
因此，对排序问题的研究具有广泛的实用价值和重要的理论意义。
Therefore, for both practical and theoretical reasons, sorting is probably one of the most widely studied problems in computer science.
因此，对排序问题的研究具有广泛的实用价值和重要的理论意义。
应用推荐