(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 Formale Systeme der Fakultät Informatik der Technischen Universität Dresden, wie im Wintersemester 2020/2021 präsentiert. Folien früherer Jahrgänge sind als Releases verfügbar. Aktuelle Folien können sich jeweils während des Semesters noch verändern.
Die Vorlesung vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie, Aussagenlogik, Komplexitäts- und Berechenbarkeitstheorie. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken, Turingmaschinen, logisches Schließen, das Halteproblem und die Komplexitätsklassen P und NP. Damit bildet die Vorlesung die Grundlage für viele vertiefende Vorlesungen.
Die Quellen können mit pdflatex in PDFs umgewandelt werden. Das Script
build.sh
erzeugt außerdem eine Druckversion mit vier Folien pro Seite (benötigt pdfjam).
Die fertigen PDFs aus dem Winter 2017/2018 sind online zu finden unter https://iccl.inf.tu-dresden.de/web/FS2017. Für das Wintersemester 2020/2021 werden die Folien unter https://iccl.inf.tu-dresden.de/web/FS2020 bereitgestellt.
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/FS2020, CC BY 3.0 DE
Bildrechte können davon abweichen und sind gesondert in den LaTeX-Dateien angegeben. Die Foliensätze enthalten keinerlei Texte aus Werken, 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 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/knowsys/FormaleSysteme/graphs/contributors zu finden.
Verbesserungsvorschläge und Fehler können als Issues gemeldet werden. Pull-Requests sind willkommen.