Grundlagen der Logik in der Informatik Wintersemester 2024/25
Vorlesung
- Siehe auch: Veranstaltung in Campo
- StudOn-Kurs
- Der Vorlesungsinhalt ist im Skript (Stand: 18.12.2024, 16:30, 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)
- Übungsblatt 7
- Übungsblatt 8
- Übungsblatt 9 – Am Mittwoch, den 18.12.2024, findet 14-16 Uhr im H9 eine Ersatzübung für die Freitagsübungen (Vorlesungsfrei am 20.12.) statt
- Übungsblatt 10 – Am Dienstag, den 07.01.2025, findet 10-12 Uhr im H18 eine Ersatzübung für die Montagsübungen (Feiertag am 06.01.) statt
- Weihnachtsblatt (Bonus)
| 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 | 02.134-113 (Erneute 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:
- Übungsblätter aus vorherigen Semestern sind noch auf den jeweiligen Veranstaltungsseiten verfügbar: