Vorlesungsfolien Theoretische Informatik und Logik

(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 Theoretische Informatik und Logik der Fakultät Informatik der Technischen Universität Dresden, wie sie im Sommersemester 2017 präsentiert wurden.

Die Vorlesung vermittelt eine vertiefende Einleitung in die theoretische Informatik, beginnend mit den Grundlagen der Berechenbarkeits- und Komplexitätstheorie, Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, bis hin zu weiterführenden Themen wie Gödels Unvollständigkeitstheoreme und die Beziehung von Logik und formalen Sprachen. Wir stoßen vor zu den Grenzen der Informatik und Mathematik, treffen auf fleißige Biber und verrückte Logiker, vergleichen SQL mit Tic Tac Toe und stellen die großen Fragen unseres Fachgebiets.

Die Vorlesung ist weitgehend selbsterklärend, aber Grundlagen aus der Veranstaltung Formale Systeme können hilfreich sein.

PDFs erstellen

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 Sommer 2017 sind online zu finden unter https://iccl.inf.tu-dresden.de/web/TheoLog2017.

Lizenz und Nutzung in der Lehre

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/TheoLog2017, 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 ebenfalls 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.

Autoren

Die Folien wurden erstellt von Markus Krötzsch. Eine vollständige Liste der Beitragenden ist unter https://github.com/mkroetzsch/TheoLog/graphs/contributors zu finden.

Hinweise und Vorschläge

Verbesserungsvorschläge und Fehler können als Issues gemeldet werden. Pull-Requests sind willkommen.