Download der aktuellsten Version
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.
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“.