WikiDer > Theoretische Informatik

Das Theoretische Informatik ist eine Form von Informatik was beschäftigt sich mit formale Sprachen (d. h. Automaten-, Berechenbarkeits- und Komplexitätstheorie), Logik (unter anderem Aussagelogik und Prädikatslogik) und formale Semantik und bietet damit eine theoretische Grundlage für die Herstellung Compiler von Programmiersprachen und der Mathematiker Formalisierung von Problemen. Sie ist damit die formale Grundlage der Informatik.

Namhafte theoretische Informatiker sind Alan Turing, Edsger Dijkstraße und Donald Knuth.