EN | DE
Theoretische Informatik

Grundlagen der Logik in der Informatik (WS 18/19)

Klausur

  • Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen.
  • Zur Vorbereitung empfiehlt sich ein Blick auf die Probeklausur.

Übungsblätter

Termine

Vorlesung

Termin Zeit Ort Dozent Beginn
Do. 08:15 - 09:45 H11 Lutz Schröder 18.10.

Der erste Termin beginnt um 8:30 und endet um 10:00; wenn keine starken terminlichen Hindernisse vorliegen, wird diese Regelung verdauert.

Tutorien

Tutorien werden in Gruppen abgehalten, entsprechend dem folgenden Plan.

Tag Zeit Raum Tutor/in
Montag 10:15-11:45 01.150-128 Nico Meyer
Montag 10:15-11:45 R4.11 Kristin Braun
Montag 12:15-13:45 SR TM Nico Meyer
Dienstag 16:15-17:45 K1-119 Frederik Haselmeier
Dienstag 8:15-9:45 00.131-128 Üsame Cengiz
Dienstag 10:15-11:45 00.131-128 Üsame Cengiz
Mittwoch 12:15-13:45 3.71 Tim Lukas Diezel
Mittwoch 12:00-13:30 02.134-113 Ulrich Dorsch
Donnerstag10:15-11:45 01.150-128 Johannes Kern
Donnerstag14:15-15:45 01.150-128 Kristin Braun
Donnerstag14:15-15:45 02.134-113 Frederik Haselmeier
Donnerstag14:15-15:45 K2-119 Tim Lukas Diezel

Intensivübung

Termin Zeit Ort Dozent Beginn
Do. 18:15 - 19:45 02.133-113 Sergey Goncharov 18.10.

Video-Aufzeichnung

Die Vorlesung wird vom RRZE aufgezeichnet; die Aufnahme ist auf der RRZE-Seite zu finden.

Hilfsmaterial

  • Es gibt ein Skript (Rev. 22951), das wohl nicht mehr sinnvollerweise inoffiziell genannt werden kann. Dennoch ist der Inhalt des Skripts während der Vorlesungszeit stets als vorläufig anzusehen, insbesondere hinsichtlich des Umfangs des Materials; will sagen, es kann ggf. Material hinzukommen. Eine Version, die dem tatsächlichen Ablauf der Veranstaltung entspricht, wird erst nach Abschluss der Vorlesungen zur Verfügung gestellt.
  • notation.pdf — eine Kurzzusammenfassung relevanter mathematischer Begriffe und Schreibweisen.
  • induktion.pdf — Hilfsblatt für Induktionsbeweise (von Thomas Voß).
  • Coq Cheat Sheets von Amy Felty und von uns.

Vorläufiger Plan der Vorlesung