Formale Grundlagen der Informatik

Inhalt

Boole'sche Funktionen und Schaltkreise, Binäre Relationen, Informations- und Codierungstheorie, Grammatiken und Automaten

Literatur

  • Vorlesungsskript (wird in der ersten Vorlesung ausgeteilt)
  • Mathe-Toolbox (wird ebenfalls kostenlos ausgegeben)

Aktuelles

Die Donnerstags-Vorlesung wurde verlegt und findet ab sofort im H3 statt.

Prüfung

Die Ergebnisse der zweiten Klausur sind im LSF verfügbar. Die Einsichtnahme in die Klausur ist am Freitag, den 19.4. von 11:00 bis 11:30 Uhr in O27/531 möglich.

Eine Übersicht über Prüfungstermine bietet die Prüfungsplanung der Informatik.

Tutorien

Der Übungsbetrieb wird noch bekannt gegeben. Die Anmeldung zu den Tutorien wird über das Rubikon möglich sein.

Vorlesungszeiten

Mittwoch,14:15-15:45 Uhrim H4/5
Donnerstag,14:15-15:45 Uhrim H3

Übungsleiter

Stefan Arnold

Simon Straub