Logic Specification and Programming (WiSe 2024/25)
Veranstaltungsnummer
048015
Studiengang/-gänge
Master
Vorlesungsverzeichnis
Learnweb-Plattform
Typ
Vorlesung/Übung
Vorlesungssprache
englisch
Veranstaltungszeitplan
| Tag | Zeit | Häufigkeit | Datum | Raum |
|---|---|---|---|---|
| Montag | 10:00- 12:00 Uhr | wöchentlich | 07.10.2024- 27.01.2025 | Leonardo-Campus 10, Leo 2 |
| Freitag | 08:00- 10:00 Uhr | wöchentlich | 11.10.2024- 31.01.2025 | Leonardo-Campus 10, Leo 2 |
Beschreibung
This course will be taught in a hybrid format based on lecture recordings from previous years. The lecture videos are intended for self-study and will be accompanied by fortnightly in-person exercise sessions. All material will be distributed via the corresponding Learnweb course.
Please check the Learnweb course for the exact dates when exercise sessions are scheduled.
Note that this semester, the course will be offered for the last time.
Literatur
Will be announced in the lecture.
Dozenten
- Dr. Jonathan Neugebauer (verantwortlich)