Prindi | E-postile | Salvesta 
algoritmiteooria
theory of algorithms
ESTER | ISE | ERB | Google
Laiemad:arvutiteadus computer science; theoretical computer science
arvutusmatemaatika computational mathematics
matemaatiline loogika logical calculus; mathematical logic
matemaatilised teooriad mathematical theories
programmeerimine computer programming
teooriad theories
Kitsamad:abstraktsed automaadid abstract automata
arvutatavad funktsioonid computable functions
automaattõestamine automated theorem proving
keerukusteooria complexity theory
rekursiooniteooria recursion theory
SAT-probleem SAT-problem
Seotud:algoritmid algorithms
arvutialgebra computer algebra
automaaditeooria automata theory
formaalkeeled formal languages
Turingi masin Turing machine
Valdkonnad:21 MATEMAATIKA.
36 INFORMAATIKA. INFOTEHNOLOOGIA. AUTOMAATIKA.