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.

Vorlesungszeiten

Vorlesung findet über Moodle statt.

Donnerstag 14:00 - 16:00 Uhr in H1 (100 Personen)