(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).s
Die fertigen PDFs werden semesterbegleitend auf der Vorlesungswebseite bereitgestellt:
- Winter 2023/24: https://iccl.inf.tu-dresden.de/web/FS2023
- Winter 2020/21: https://iccl.inf.tu-dresden.de/web/FS2020
- Winter 2017/18: https://iccl.inf.tu-dresden.de/web/FS2017
Weitere Jahrgänge sind über die allgemeine Webseite zur Lehrveranstaltung zu finden. Achtung: Die Lehrveranstaltung wird in verschiedenen Jahren von unterschiedlichen Professuren betreut, die zum Teil unterschiedliche Materialien verwenden, auch wenn die allgemeinen Inhalte übereinstimmen.
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/FS2023, 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.