Formale Grundlagen der Informatik

Aktuelles

  • die Vorlesung am Donnerstag, den 07.02.2019 wird im Hörsaal Chirurgie (statt wie geplant im Hörsaal Innere Medizin) stattfinden.
  • Die Evaluation der Vorlesung und Übung wird am Montag, den 10.12.2018 im Rahmen der Vorlesung (Hörsaal Chirurgie von 14:00 bis 16:00) durchgeführt.
  • die Vorlesung am Montag, den 3.12.2018 wird im Hörsaal H15 (statt wie geplant im Hörsaal Chirurgie) stattfinden.
  • die Vorlesung am Donnerstag, den 29.11.2018 wird im Hörsaal Chirurgie (statt wie geplant im Hörsaal Innere Medizin) stattfinden.
  • 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)