Grundlagen der Logik in der Informatik Wintersemester 2024/25
Vorlesung
- Siehe auch: Veranstaltung in Campo
- StudOn-Kurs
- Der Vorlesungsinhalt ist im Skript (Stand: 19.11.2024, 16:29, PDF mit Zeitstempel) nachzulesen
- In gloin-coq-intro.pdf ist alles zu Coq erklärt, das für das Lösen der Aufgaben nötig ist.
| Termin | Zeit | Ort | Dozent | Erster / Letzter Termin |
|---|---|---|---|---|
| Mi. | 12:00 – 13:30 (Beginn um st!) | H18 | Lutz Schröder | 16.10.2024 – 05.02.2025 außer 13.11.2024 |
Übungsbetrieb
Begleitend zur Vorlesung werden die Inhalte und Methoden wöchentlich anhand von Hausaufgaben geübt.
- Der Übungsbetrieb beginnt erst in der zweiten Vorlesungswoche (21. Oktober 2024)
- Organisation des Übungsbetriebs: Thorsten Wißmann
- Veranstaltung in Campo
- StudOn-Kurs (Anmeldung bis spätestens 17. Oktober 2024)
- Übungsblätter:
- Übungsblatt 1
- Übungsblatt 2 – Am Mittwoch, den 30.10.2024, findet 14-16 Uhr im H13 eine Ersatzübung für die Freitagsübung (Feiertag am 1.11.) statt
- Übungsblatt 3
- Übungsblatt 4
- Übungsblatt 5
- Übungsblatt 6 (gloin_blatt_06_p1.v, gloin_blatt_06_a1.v)
| PG | Tag | Zeit | Ort | Dozent | |
|---|---|---|---|---|---|
| 1 | Mo. | 10:15-11:45 | 0.031-113 | Silas Kuder | |
| 2 | Mo. | 10:15-11:45 | 01.150-128 | Zisis Erkelentzis | |
| 3 | Mo. | 12:15-13:45 | 0.031-113 | Silas Kuder | |
| 4 | Mo. | 12:15-13:45 | 02.134-113 | Nova Ruff | |
| 5 | Di. | 16:15-17:45 | H15 | Jonas Hemkendreis | |
| 6 | Do. | 16:15-17:45 | 02.134-113 | Tom Weißhuhn | |
| 7 | Do. | 16:15-17:45 | 0.031-113 | David Wegmann | |
| 8 | Fr. | 10:15-11:45 | 02.134-113 | Ole Elliger | |
| 9 | Fr. | 10:15-11:45 | 04.019 (EEI) | Jonas Hemkendreis | |
| 10 | Fr. | 12:15-11:45 | 02.134-113 | Ole Elliger |
Intensivübung
- Zusätzlich zu den Übungen können in der wöchentlichen Intensivübung weitere Fragen gestellt werden.
- Erst ab der zweiten Vorlesungswoche.
- Intensivübung in Campo
- StudOn-Kurs
| Termin | Zeit | Ort | Dozent | Erster / Letzter Termin |
|---|---|---|---|---|
| Fr. | 14:15 – 15:45 | H19 (Raumänderung!) | Thorsten Wißmann | 25.10.2024 – 07.02.2025 |
Hilfsmaterial
- Das Rechenzentrum hat die Vorlesung vor einem Jahr (WS23/24) aufgezeichnet. Vorsicht: es hat sich die Reihenfolge der Inhalte geändert; die aktuelle Reihenfolge der Inhalte ist dem aktuellen Skript (siehe oben) zu entnehmen.
- Probeklausuren: Beachten Sie, dass sich der Vorlesungsinhalt (Notation sowie Themenschwerpunkte) über die Zeit ändert. Deshalb gibt Ihnen die jüngste Probeklausur die beste Einschätzung für die tatsächliche Klausur. Wir listen ältere Klausuren nur der Vollständigkeit halber: