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

Mitteilungen

  • Die mündlichen Prüfungen im SS 2026 nimmt Prof. Kuske vom 18.08. - 21.08.2026 ab. Bitte beachten Sie zur Terminvergabe die Hinweise.
  • Um bei Interesse aktuelle Informationen (Raumänderungen, ...) zu erhalten, tragen Sie sich bitte im Moodle-Kurs ein.

Materialien

  • Die Materialien zur Vorlesung werden im Laufe des Semesters aktualisiert.

Allgemeine Informationen zum Kurs

Termine

  • Vorlesung: (Prof. Dr. Dietrich Kuske)

    Montag,      11:00  - 12:30 Uhr, Sr OEC 4007 (Oeconomicum)
    Freitag (G), 09:00 - 10:30 Uhr, Sr OEC 5007 (Oeconomicum)