Formale Grundlagen der Informatik

[09.10.2017] Die erste Vorlesung findet am Donnerstag, den 19.10.2017, statt.

Boole'sche Funktionen und Schaltkreise, Binäre Relationen, Informations- und Codierungstheorie, Grammatiken und Automaten

• Vorlesungsskript (wird in der Vorlesung ausgeteilt)
• Schöning/Kestler Mathe-Toolbox, Lehmanns media

Weitere Informationen zur Vorlesung finden Sie im Moodle.

Der Ablauf der Übungen wird in der ersten Vorlesung vorgestellt. Die Anmeldung zu den Tutorien wird anschließend über Moodle möglich sein.