Welcome guest You're not logged in. 283 users online, thereof 0 logged in

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.