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

Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen.
Zur Vorbereitung empfiehlt sich ein Blick auf die Probeklausur (Achtung: Neue Version!).
Bonuspunkte (Achtung: Auf eine bestandene Klausur wird entsprechend den gelisteten Punkten ein Bonus von maximal 15% angerechnet).

Übungsblatt 1; Abgabe: ~~1.11~~ 2.11, 14:00. Zusatzaufgaben zur Induktion: Induktion.
Übungsblatt 2; Abgabe: 15.11, 14:00.
Übungsblatt 3; Abgabe: 22.11, 14:00.
Übungsblatt 4; Abgabe: 29.11, 14:00 – Coq-Beispiele (Präsenzaufgaben): .
Übungsblatt 5; Abgabe: 6.12, 14:00 – Coq-Beispiele (Präsenzaufgaben): .
Übungsblatt 6; Abgabe: 13.12, 14:00 (Achtung: Korrigiert!)
Übungsblatt 7; Abgabe: 20.12, 14:00.
Übungsblatt 8; Abgabe: 10.01, 14:00.
Übungsblatt 9; Abgabe: 17.01, 14:00 – Coq-Beispiele (Präsenzaufgaben): .
Übungsblatt 10; Abgabe: 24.01, 14:00 (Achtung: Korrigiert!).
Übungsblatt 11; Abgabe: 31.01, 14:00.
Übungsblatt 12
In der letzten Woche wird in den Tutorien die Probeklausur besprochen.

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 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
Donnerstag	10:15-11:45	01.150-128	Johannes Kern
Donnerstag	14:15-15:45	01.150-128	Kristin Braun
Donnerstag	14:15-15:45	02.134-113	Frederik Haselmeier
Donnerstag	14:15-15:45	K2-119	Tim Lukas Diezel

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

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

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