Informationen zur Veranstaltung "Logik in der Informatik"

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

Materialien

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