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

Mitteilungen

  • Die mündlichen Prüfungen im SS 2025 nimmt Prof. Kuske vom 28.07. - 31.07.2025 ab. Bitte beachten Sie zur Terminvergabe die Hinweise.
  • Um bei Interesse aktuelle Informationen (Raumänderungen, korrigiert Übungsaufgaben, ...) zu erhalten, tragen Sie sich bitte im Moodlekurs ein.
 

Materialien

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

Allgemeine Informationen

Termine

Vorlesung ( Prof. Dr. Dietrich Kuske):

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