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 (Achtung: Neue Version!).
- Bonuspunkte (Achtung: Auf eine bestandene Klausur wird entsprechend den gelisteten Punkten ein Bonus von maximal 15% angerechnet).
Übungsblätter
- Übungsblatt 1; Abgabe:
1.112.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.
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 |
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 |
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. 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.