Теоретическая информатика — раздел информатики и математики, посвящённый формальным основаниям вычислений. Она включает такие темы, как algorithms, automata, computability, complexity, logic и formal languages.
A subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation.