Skip to content
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
includes
.gitignore
Makefile
README.md
til-vl-ss2017-notizen.pdf
til-vl-ss2017-notizen.tex

README.md

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“.

You can’t perform that action at this time.