关于计算和计算机械的数学理论，也称为计算理论或计算机科学的数学基础。理论计算机科学主要包括：①自动机论与形式语言理论②程序理论③形式语义学④算法分析和计算复杂性理论。
...字面上看,可将其理解为研究计算机理论的学科,但它的覆盖面绝不限于理论,这也是它与理论计算机科学(Theoretical Computer Science,TCS)的区别。
基于2305个网页-相关网页
这是一个理论计算机科学和算法博弈论的题目。
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.
应用推荐