Sommersemester 2021

Diese Version der Folien wurde im Sommer 2021 präsentiert. Die zugehörige Vorlesungswebseite ist unter https://iccl.inf.tu-dresden.de/web/TheoLog2021 zu finden. In diesem Jahr wurden außerdem Videos zur Vorlesung erstellt.