- 查看更多前往 Wikipedia 查看全部内容
Theory of computation | Wikipedia
In theoretical computer science and mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree (e.g., approximate solutions versus precise ones). The field is divided into … 展开
The theory of computation can be considered the creation of models of all kinds in the field of computer science. Therefore, mathematics and logic are used. In the last century, it … 展开
Automata theory
Automata theory is the study of abstract machines (or more appropriately, abstract 'mathematical' machines or systems) and the computational problems that can be solved using these machines. These abstract machines are … 展开• Theory of Computation at MIT
• Theory of Computation at Harvard
• Computability Logic - A theory of interactive computation. The main web source on this subject. 展开Aside from a Turing machine, other equivalent (See: Church–Turing thesis) models of computation are in use.
Lambda calculus A … 展开Textbooks aimed at computer scientists
(There are many textbooks in this area; this list is by necessity incomplete.)
• Hopcroft, … 展开CC-BY-SA 许可证中的维基百科文本 计算理论 | 维基百科,自由的百科全书
Computability theory | Wikipedia
计算理论 - 维基百科,自由的百科全书 | zh.wikipedia.org
Computation | Wikipedia
Theoretical computer science | Wikipedia
网页TCS covers a wide variety of topics including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, …
Category:Theory of computation | Wikipedia
Introduction to the Theory of Computation | Wikipedia
Computational theory of mind | Wikipedia
Theory of Computation | Mathematics | MIT …
网页This course emphasizes computability and computational complexity theory. Topics include regular and context-free languages, decidable and undecidable problems, reducibility, recursive function theory, time and …