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

Montag 14:00 - 16:00 Uhr im Hörsaal TTU

Donnerstag 14:00 - 16:00 Uhr in H1

 

Klausurtermine