Theoretische Informatik und Logik
Aus International Center for Computational Logic
Theoretische Informatik und Logik
Vorlesungsreihe
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.
Lehrveranstaltungen
- Theoretische Informatik und Logik (SS 2024, Markus Krötzsch)
- Theoretische Informatik und Logik (SS 2022, Hannes Straß)
- Theoretische Informatik und Logik (SS 2021, Markus Krötzsch)
- Theoretische Informatik und Logik (SS 2019, Steffen Hölldobler)
- Theoretische Informatik und Logik (SS 2018, Markus Krötzsch)
- Theoretische Informatik und Logik (SS 2017, Markus Krötzsch)
- Theoretische Informatik und Logik (SS 2016, Steffen Hölldobler)
