Grundlagen der Theoretischen Informatik und Formale Grundlagen der Informatik

• Die erste Vorlesung findet am Montag, den 13.10.2025 von 14:15 - 15:45 Uhr einmalig im Hörsaal 1 statt (anstatt wie geplant im Hörsaal TTU)
• Die Tutoriumseinteilung findet im moodle 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.