Formale Grundlagen der Informatik

Aktuelles

[08.02.2017] Die erste Klausur für Formale Grundlagen der Informatik findet am Samstag, den 25.02.2017, um 10:00 statt. Als Hilfsmittel ist ein beidseitig, handbeschriebenes DINA4 Blatt zugelassen.

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 Rubikon.

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