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

Klausureinsicht

Die Klausureinsicht findet am 13.3.2014 zu folgenden Zeiten statt:

Nachname beginnt mit A-G:10.00-10.30 Uhr
Nachname beginnt mit H-N:10.30-11.00 Uhr
Nachname beginnt mit O-Z:11.00-11.30 Uhr

Bitte vergessen Sie nicht, Ihren Studierendenausweis zur Klausureinsicht mitzubringen.
Die Einsicht findet im H21 statt.

Tutorien

Der Ablauf der Übungen wird in der ersten Vorlesung am Mittwoch, den 16.10.2013 vorgestellt. Die Anmeldung zu den Tutorien wird anschließend über Rubikon möglich sein.

Vorlesungszeiten

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

Übungsleiter

Stefan Arnold

Simon Straub