Theory of computation
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 three major branches: automata theory and formal languages, computability theory, and computational complexity theory, which are linked by the question: "What are the fundamental capabilities and limitations of computers?".
academic discipline
known for
Wikipage disambiguates
20th centuryAbstract machineAlan_TuringAlexander RazborovAlexey LyapunovAlgorithmAlgorithmic information theoryAlgorithmic techniqueAlgorithmically random sequenceAlgorithms UnlockedAlistair SinclairAndrew YaoArtificial intelligenceAutomata theoryBachelor of Computer ScienceBioData MiningBlum–Shub–Smale machineBoris TrakhtenbrotBranches of scienceCategorical abstract machineChinese roomCognitive scienceCollatz conjectureCombinatorics, Probability and ComputingComputabilityComputability theoryComputable functionComputationComputation TheoryComputation theoryComputational semioticsComputational theoristComputational theoryComputerComputer scienceComputer science and engineeringComputer scientistComputer theoryComputing Machinery and IntelligenceConstantinos Daskalakis
Link from a Wikipage to another Wikipage
fields
sub discipline
differentFrom
primaryTopic
Theory of computation
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 three major branches: automata theory and formal languages, computability theory, and computational complexity theory, which are linked by the question: "What are the fundamental capabilities and limitations of computers?".
has abstract
A teoria da computação é um su ...... ise semântica
* Interpretador
@pt
In theoretical computer scienc ...... has a finite amount of memory.
@en
La teoria de la computació és ...... a això un procés o algorisme.
@ca
La teoria della computazione è ...... guire uno specifico algoritmo.
@it
La teorio de kalkulado estas l ...... lo, kiu havas sufiĉan memoron.
@eo
La teoría de la computación o ...... problemas y darles solución.
@es
Teori komputasi adalah cabang ...... miliki jumlah memori terbatas.
@in
Teoria obliczeń – dział inform ...... em matematyczny w informatyce.
@pl
Η θεωρία υπολογισμού είναι ο κ ...... κολη κατασκευή μεταγλωττιστών.
@el
Тео́рия алгори́тмов — раздел м ...... угих областей науки и техники.
@ru
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,019,127,100
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
comment
A teoria da computação é um su ...... e Máquina Universal de Turing.
@pt
In theoretical computer scienc ...... nd limitations of computers?".
@en
La teoria de la computació és ...... a això un procés o algorisme.
@ca
La teoria della computazione è ...... ale, generando contraddizioni.
@it
La teorio de kalkulado estas l ...... rmalajn modelojn de kalkulado.
@eo
La teoría de la computación o ...... problemas y darles solución.
@es
Teori komputasi adalah cabang ...... a dengan formalisme komputasi.
@in
Teoria obliczeń – dział inform ...... pamięciowym) da się to zrobić.
@pl
Η θεωρία υπολογισμού είναι ο κ ...... τες του ίδιου του προβλήματος.
@el
Тео́рия алгори́тмов — раздел м ...... угих областей науки и техники.
@ru
label
Teori komputasi
@in
Teoria da computação
@pt
Teoria de la computació
@ca
Teoria della computazione
@it
Teoria obliczeń
@pl
Teorio de komputado
@eo
Teoría de la computación
@es
Theory of computation
@en
Θεωρία υπολογισμού
@el
Теория алгоритмов
@ru