Formale Grundlagen der Informatik
Inhalt
Boole'sche Funktionen und Schaltkreise, Binäre Relationen, Informations- und Codierungstheorie, Grammatiken und Automaten
Literatur
- Vorlesungsskript (wird in der Vorlesung ausgeteilt)
- Schöning/Kestler Mathe-Toolbox, Lehmanns media
Infos zur Vorlesung
Weitere Informationen zur Vorlesung finden Sie im moodle.
Tutorien
Der Ablauf der Übungen wird in der ersten Vorlesung vorgestellt. Die Anmeldung zu den Tutorien wird anschließend über moodle möglich sein.
Dozent
Vorlesungszeiten
Vorlesung findet über Moodle statt.