Quelltext der Seite Theoretische Informatik und Logik

{{Vorlesungsreihe
|Title=Theoretische Informatik und Logik
|Description=Die Vorlesung vermittelt eine vertiefende Einleitung in die theoretische  Informatik, beginnend mit den Grundlagen der Berechenbarkeits- und 
Komplexitätstheorie, Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, bis hin zu weiterführenden Themen wie Gödels Unvollständigkeitstheoreme und die Beziehung von Logik und formalen Sprachen. Wir stoßen vor zu den Grenzen der Informatik und Mathematik, treffen auf fleißige Biber und verrückte Logiker, vergleichen SQL mit Tic Tac Toe und stellen die großen Fragen unseres Fachgebiets.

Die Vorlesung ist weitgehend selbsterklärend, aber Grundlagen aus der Veranstaltung [[Formale Systeme]] können hilfreich sein.
}}