In der theoretische Informatik befassen wir uns den Prinzipien und mathematischen Grundlagen der Berechnung.?Ziel ist es, zu verstehen, was Computer leisten k?nnen, wie effizient sie das tun und wie man ihre F?higkeiten optimal nutzt. Die Theoretische Informatik bildet die Grundlage für viele praktische Anwendungen wie die formale Kategorisierung von Programmiersprachen, die Klassifizierung von Algorithmen,?und die Entwicklung sicherer Software.