Formale Grundlagen der Informatik

Aktuelles

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

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-16 Uhr
im Hörsaal Chirurgie (2 0100)

Donnerstag 14-16 Uhr
im Hörsaal Innere Medizin (O23/2619)

Übungsleiter

Jan-Hendrik Lorenz