GGrundlagen der Logik in der Informatik Wintersemester 2025/26

Vorlesung

Siehe auch: Veranstaltung in Campo
StudOn-Kurs
Der Vorlesungsinhalt ist im Skript (Stand: 05.09.2025, 17:15, 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.	10:00 – 12:00 Uhr	H20	Lutz Schröder	16.10.2024 – 05.02.2025 außer 13.11.2024

Begleitend zur Vorlesung werden die Inhalte und Methoden wöchentlich anhand von Hausaufgaben geübt.

Der Übungsbetrieb beginnt erst in der zweiten Vorlesungswoche (20. Oktober 2025)
Organisation des Übungsbetriebs: Thorsten Wißmann

Zusätzlich zu den Übungen können in der wöchentlichen Intensivübung weitere Fragen gestellt werden.
Erst ab der zweiten Vorlesungswoche.

Termin	Zeit	Ort	Dozent	Erster / Letzter Termin
Mo.	16:15 – 17:45	TBA	Thorsten Wißmann	20.10.2025 – 07.02.2025

Das Rechenzentrum hat die Vorlesung im 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:
- Aktuelle Probeklausur WS24/25
- Probeklausur WS23/24
- Probeklausur WS21/22
- Probeklausur WS19/20
- Probeklausur WS18/19
- Probeklausur WS16/17
- Probeklausur WS15/16
Übungsblätter aus vorherigen Semestern sind noch auf den jeweiligen Veranstaltungsseiten verfügbar: