Download der aktuellsten Version

Theoretische Informatik und Logik (SS2017)

Dieses Repo enthält meine Notizen zur Vorlesung TheoLog bei Prof. Krötzsch an der TU Dresden im Sommersemester 2017. Bei Fehlern oder Verbesserungen gerne ein Issue erstellen.

Lizenz

Creative Commons Attribution-ShareAlike 4.0 International License. Quellen der Folien von Prof. Krötzsch sind zu finden unter https://github.com/mkroetzsch und sind unter der Lizenz CC BY 3.0 DE verwendbar. Für Texte aus diesen gilt: „(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/TheoLog2017, CC BY 3.0 DE“.