Formale Grundlagen der Informatik

Aktuelles

  • Die Vorlesung am Montag, den 22.Oktober 2018 entfällt.
  • Die Tutoriumseinteilung findet im moodle statt und endet am Mittwoch, den 24. Oktober 2018 um 14:00 Uhr.
  • Die Vorlesungsskripte werden am Donnerstag, den 18. Oktober 2018, nach der Vorlesung im Hörsaal Innere Medizin ausgeteilt. Die Skripte können danach auch weiterhin vor dem Raum O27/538 abgeholt werden.
  • Die erste Vorlesung findet am Montag, den 15. Oktober 2018, 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:00 - 16:00 im Hörsaal Chirurgie (2 0100)
  • Donnerstag, 14:00 - 16:00 im Hörsaal Innere Medizin (O23/2619)