Grundlagen der Logik in der Informatik (WiSe 2022/23)
Klausurergebnisse
Übungsblätter
- Übungsblatt 01; Abgabe: Mo. 07.11, 12:00
- Übungsblatt 02; Abgabe: Mo. 14.11, 12:00 (einige Lösungen von Präsenzaufgaben: public02.pdf)
- Übungsblatt 03; Abgabe: Mo. 21.11, 12:00
- Übungsblatt 04; Abgabe: Mo. 28.11, 12:00
- Übungsblatt 05; Abgabe: Mo. 05.12, 12:00
- Übungsblatt 06; Abgabe: Mo. 12.12, 12:00
- Übungsblatt 07; Abgabe: Mo. 19.12, 12:00; Coq-Fallunterscheidung; Coq-Präsenzbeweise
- Übungsblatt 08; Abgabe: Mo. 09.01, 12:00 (eine Lösung der Präsenzaufgabe: public08.pdf)
- Übungsblatt 09; Abgabe: Mo. 16.01, 12:00
- Übungsblatt 10; Abgabe: Mo. 23.01, 12:00 (Code-Vorlage: uebung10-vorlage.v)
- Übungsblatt 11; Abgabe: Mo. 30.01, 12:00 (Aufgabe 2 korrigiert!) (eine Lösung der Präsenzaufgabe: public11.pdf)
- Übungsblatt 12; Abgabe: Mo. 6.02, 12:00
[Deckblatt für Hausaufgaben: pdf, tex]
Vorlesung
| Termin | Zeit | Ort | Dozent | Beginn |
|---|---|---|---|---|
| Do. | 10:15 – 11:45 | H11 | Lutz Schröder | 20.10.22 |
Tutorien
Tutorien werden in Gruppen abgehalten. Die Tutorien beginnen in der zweiten Veranstaltungswoche.
| Parallelgruppe | Tag | Zeit | Raum | Tutor |
|---|---|---|---|---|
| 1 | Do | 12:15–13:45 | (02.134-113 Übungsraum) | Max Ole Elliger |
| 2 | Mo | 14:15–15:45 | (02.134-113 Übungsraum) | Frederik Hennig |
| 3 | Mo | 12:15–13:45 | (01.150-128 Seminarraum) | David Wegmann |
| 4 | Mi | 12:15–13:45 | (0.031-113 Seminarraum) | Aaron Strahlberger |
| 6 | Fr | 12:15–13:45 | (01.150-128 Seminarraum) | Nils Wilbert |
| 7 | Mo | 08:15–09:45 | (02.134-113 Übungsraum) | Leon Vatthauer |
| 8 | Fr | 12:15–13:45 | (02.134-113 Übungsraum) | Aaron Strahlberger |
| 9 | Do | 12:15–13:45 | (01.150-128 Seminarraum) | Sebastian Dietlmeier |
| 11 | Mo | 10:15–11:45 | (02.134-113 Übungsraum) | Nils Wilbert |
| 12 | Di | 08:15–09:45 | (02.134-113 Übungsraum) | Frederik Hennig |
| 13 | Mo | 12:15–13:45 | (02.134-113 Übungsraum) | Paul Wild |
| 14 | Mi | 10:15–11:45 | (0.031-113 Seminarraum) | Leon Baumgartner |
Intensivübung
| Termin | Zeit | Ort | Dozent | Beginn |
|---|---|---|---|---|
| Fr. | 14:15 – 15:45 | 01.150-128 | Sergey Goncharov | 4.11.22 |
Studierende, die Plagiate als Lösung der Hausaufgaben einreichen, verwirken ohne weitere Vorwarnung ihr Recht, Bonuspunkte für die Klausur zu erwerben.
Details zur Anmeldung zu den Tutorien werden noch bekanntgegeben.
Klausur
- Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen.
- Die Bearbeitung der Übungsaufgaben fließt in der Form eines Bonus von bis zu 15% der Klausurpunkte in das Ergebnis einer bestandenen Klausur ein. Bonuspunkte werden erworben, wenn in den Übungen mehr als die Hälfte der Punkte erzielt wird.
- Zur Vorbereitung empfiehlt sich ein Blick auf die Probeklausur: Probeklausur (Stand 29.03.22)
- Beachten Sie bitte die Hygieneregeln
Hilfsmaterial
- Es gibt ein Skript (Stand 10.02.23). Das Skript gibt den Inhalt der Veranstaltung wieder und enthält zusätzliches Hintergrundmaterial. Die Reihenfolge der Kapitel in der Vorlesung weicht zur besseren Synchronisation mit der Übung von der Reihenfolge im Skript ab.
- Notation.pdf — eine Kurzzusammenfassung relevanter mathematischer Begriffe und Schreibweisen (Stand: 02.11.2022).
- Induktion — Hilfsblatt für Induktionsbeweise (von Thomas Voß).
- Coq Cheat Sheets von Andrej Bauer und von uns.