Lehrveranstaltungen



Wahlmodul 7: Logik und Lernen (10 ECTS-AP, 6 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in aktuellen Themengebieten aus Logik und Lernen. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Zur übergeordneten Rubrik
ML
703314
VU Logik und Lernen A: Interactive Theorem Proving (VU / 3h / 5 ECTS-AP)
Cezary Kaliszyk
Details zu dieser Lehrveranstaltung
703315
VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (VU / 3h / 5 ECTS-AP)
René Thiemann
Details zu dieser Lehrveranstaltung
ML
703349
VU Logik und Lernen A: Advanced Machine Learning (VU / 3h / 5 ECTS-AP)
Justus Piater
Details zu dieser Lehrveranstaltung

Hinweis:
  • Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
  • Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.