Theoretische Informatik

Allgemein:
Die theoretische Informatik beschäftigt sich mit der Fundierung des Algorithmusbegriff, untersucht die Leistungsfähigkeit von Algorithmen und erforscht die prinzipiellen Grenzen des Computers beim Lösen von Problemen.

Schwerpunkte:
Automatentheorie
Formale Sprachen
Lösbarkeit und Berechenbarkeit von Problemen