Theoretical Computer Science

Theoretical computer science is a discipline dealing with systematic ways to process information, especially using computers. Key original concepts of theoretical computer science include:

development of methods for problem-solving (theory of algorithms),
theoretical models to construct computers, i.e. machines able to apply algorithms (automata theory),
a foundation of computability theory itself, i.e. exploring which problems are tractable by applying automata performing algorithms.