All Branches

Branch: Theoretical Computer Science

Introduction

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),
• foundation of computability theory itself, i.e. exploring which problems are tractable by applying automata performing algorithms.

Historical notes

Originally, computer science was a special field in many different scientific disciplines (e.g. logic, mathematics, electrotechnology), in the late 50s of the 20th century, however, it developed as a separate field of research.