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.

Klausuren

Der Bearbeitungszeitraum für die Klausuren beträgt jeweils 100 Minuten, als Hilfsmittel ist ein handbeschriebenes DIN-A4 Blatt zugelassen.

Die Erstklausur findet am Freitag, den 22.02.2019 um 10:00 Uhr s.t. statt. Die Raumzuordnung lautet wie folgt:

  • Nachname beginnend mit A-G: Hörsaal H22
  • Nachname beginnend mit H-R: Hörsaal H4/5
  • Nachname beginnend mit S-Z: Hörsaal Innere Medizin
  • Studentengruppe mit späterer Startzeit (wie im moodle registriert): H21 ab 10:30
  • Studentengruppe mit Nachteilsausgleich: Hörsaal Innere Medizin (bitte bei der Aufsicht melden)

Beide Studentengruppen werden nochmals seperat per Mail informiert, deshalb gelten für alle anderen Studenten nur die obersten 3 Punkte für die Zuordnung. Beachten Sie bitte, dass Sie an der Klausur nur teilnehmen können, sofern Sie sich zur Klausur angemeldet haben, und Ihren Studentenausweis (oder ein anderes Identifikationsdokument) mitführen.

Die Klausureinsicht für die Erstklausur wird am Montag, den 11.3. von 12:00 - 14:00 Uhr im Hörsaal O28/H22 stattfinden. Sofern Sie an der Einsicht teilnehmen möchten, bringen Sie bitte Ihren Studentenausweis oder ein anderes beglaubigtes Ausweisdokument mit.

Um Wartezeiten während der Klausureinsicht möglichst kurz zu halten bitte entsprechend der folgenden Liste zur Klausureinsicht zu erscheinen:

  • Nachname A - H: ab 12:00
  • Nachname I - R : ab 12:40
  • Nachname S - Z: ab 13:20

Sollten Sie an dem besagten Termin zeitlich verhindert sein ist das kein Problem, wenden Sie sich dann bitte per Mail an den Übungsleiter um einen gesonderten Termin ausmachen zu können.

Die Zweitklausur findet am Dienstag, den 16.04.2019 um 18:00 Uhr s.t. statt. Die Prüfung findet dabei für alle Teilnehmer im Hörsaal H22 statt.

Die Klausureinsicht für die Zweitklausur wird am Freitag, den 26.4. von 14:00 - 15:00 Uhr im Seminarraum der theoretischen informatik O27/531 stattfinden. Sofern Sie an der Einsicht teilnehmen möchten, bringen Sie bitte Ihren Studentenausweis oder ein anderes beglaubigtes Ausweisdokument mit.

Um Wartezeiten während der Klausureinsicht möglichst kurz zu halten bitte entsprechend der folgenden Liste zur Klausureinsicht zu erscheinen:

  • Nachname A - L: ab 14:00
  • Nachname M - Z : ab 14:30

Sollten Sie an dem besagten Termin zeitlich verhindert sein ist das kein Problem, wenden Sie sich dann bitte per Mail an den Übungsleiter um einen gesonderten Termin ausmachen zu können.

Um an den Klausuren teilnehmen zu können ist es zwingend erforderlich, sich spätestens 4 Tage vor dem Klausurtermin im LSF für die entsprechende Klausur anzumelden.

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)

Übungsleiter

Uwe Baier

Jan-Hendrik Lorenz