Informationen zur Veranstaltung "Logik in der Informatik" (Sommer 2024)

Termine

Vorlesung ( Prof. Dr. Dietrich Kuske):

Montag, 11:00 -12:30 Uhr, OEC 3007
Dienstag (U), 15:00 - 16:30 Uhr, OEC 3007

Moodle

Die Studierenden, die sich für die Veranstaltung "Logik in der Informatik" im Sommersemester 2024 interessieren, werden gebeten sich in den Moodle-Kurs einzuschreiben, um weitere Informationen über diese Veranstaltung zu erhalten. Moodlekurs: [SS24] Logik in der Informatik 

Mitteilungen

  • Hier finden Sie aktuelle Hinweise/Änderungen zur Veranstaltung
 

Die mündlichen Prüfungen im SS 2024 nimmt Prof. Kuske am 13.08.2024 ab. Bitte beachten Sie zur Terminvergabe die Hinweise.

Materialien

  • Materialien zur Vorlesung oder zur Übung werden im Laufe des Semesters aktualisiert.