(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 sie im Wintersemester 2016/2017 präsentiert wurden.
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 pdfnup
).
Die fertigen PDFs aus dem Winter 2016/2017 sind online zu finden unter https://iccl.inf.tu-dresden.de/web/FS2016.
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/FS2016, CC BY 3.0 DE
Bildrechte können davon abweichen und sind gesondert in den LaTeX-Dateien angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, 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. Interssierte 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/mkroetzsch/FormaleSysteme/graphs/contributors zu finden.
Verbesserungsvorschläge und Fehler können als Issues gemeldet werden. Pull-Requests sind willkommen.