(This repository contains LaTeX sources of a German language university course in theoretical computer science.)
Dieses Repository enthält die LaTeX-Quellen der Folien zur Vorlesung Theoretische Informatik und Logik der Fakultät Informatik der Technischen Universität Dresden. Die Inhalte werden im Sommersemester 2026 schrittweise angepasst und präsentiert.
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.
Die Quellen können mit pdflatex in PDFs umgewandelt werden.
Die fertigen PDFs aus dem Sommer 2024 sind online zu finden unter https://iccl.inf.tu-dresden.de/web/TheoLog2026.
Videovorlesung aus dem Sommersemester 2021 sind auf der Vorlesungswebseite 2021 zu finden. Diese Videos sind auch für 2024 geeignet. In 2026 gibt es einige inhaltliche Änderungen, so dass die Videos nicht mehr synchron zu den Vorlesungen sind. Es gibt aber auch weiterhin große Überschneidungen der Inhalte, so dass die Videos dennoch hilfreich sein können, auch wenn sie nicht alle Inhalte der überarbeiteten Vorlesung abdecken.
Soweit nicht anders angegeben stehen alle Texte unter der Lizenz Creative Commons CC By 3.0 Deutschland genutzt, weitergegeben und modifiziert werden. Als Namensnennung muss dabei folgende Angabe eingefügt werden:
(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/TheoLog2026, CC BY 3.0 DE
Bildrechte können davon abweichen und sind gesondert in den LaTeX-Dateien angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.
Die Nutzung der Materialien in eigenen Lehrveranstaltungen ist willkommen, sofern der obige Lizenztext in allen abgeleiteten Foliensätzen angegeben wird. Rückmeldungen sind ebenfalls willkommen (z.B. als Issue zu diesem Repository); wir verlinken hier gern auf die Homepages der entsprechenden Kurse. Interessierte Lehrende können ihre abgewandelten Quellen auch mit in diesem Respository veröffentlichen -- kontaktieren Sie Prof. Krötzsch.
Die Folien wurden erstellt von Markus Krötzsch. Eine vollständige Liste der Beitragenden ist unter https://github.com/mkroetzsch/TheoLog/graphs/contributors zu finden.
Verbesserungsvorschläge und Fehler können als Issues gemeldet werden. Pull-Requests sind willkommen.