EN | DE
Theoretische Informatik

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

Klausur

  • Die Klausureinsicht findet am Dienstag, dem 10.04.2018, 11:45-12:45 in den Räumen des LS INF8 in der Martensstr. 3, 11. Stock, statt.
  • Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen.
  • Zur Vorbereitung empfiehlt sich ein Blick auf die Probeklausur.
  • Bonuspunkte (Achtung: Auf eine bestandene Klausur wird entsprechend den gelisteten Punkten ein Bonus von maximal 15% angerechnet).

Übungsblätter

Termine

Vorlesung

Termin Zeit Ort Dozent Beginn
Mi. 12:15 - 13:45 H1 (Egerlandstrasse 3) Lutz Schröder 18.10.

Tutorien

Tutorien werden in Gruppen abgehalten, entsprechend dem folgenden Plan.

Erstes Tutorium: Montag 23.10.

Aus gegebenem Anlass: Studierende, die Plagiate als Lösung der Hausaufgaben einreichen, verwirken ohne weitere Vorwarnung ihr Recht, Bonuspunkte für die Klausur zu erwerben.

Termin Zeit Raum Tutor/in
Montag12:15 - 13:4501.150-128Kristin Braun
Montag12:15 - 13:45T 0.75Andreas Wendler
Montag14:15 - 15:4500.131-128Merlin Göttlinger
Dienstag12:15 - 13:4500.131-128Uesame Cengiz
Dienstag16:15 - 17:4500.131-128Christian Bay
Donnerstag14:15 - 15:4502.134-113Benjamin Fischer
Donnerstag16:15 - 17:4500.131-128Nico Meyer
Donnerstag16:15 - 17:45SR TMJulian Jakob
Donnerstag16:15 - 17:45HF-Technik: SR 5.14Johannes Kern
Freitag8:15 - 9:4500.131-128Felix Knörr

Intensivübung

Termin Zeit Ort Dozent Beginn
Do. 12:15 - 13:45 02.133-113 Sergey Goncharov 02.11.

Video-Aufzeichnung

Die Vorlesung wird vom RRZE aufgezeichnet und ist auf der RRZE-Seite zu finden.

Hilfsmaterial

  • Es gibt ein Skript (Rev. 19627), 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