Lehrveranstaltungen


Erweiterte Suche|Zurücksetzen
Wahlmodul 13: Interaktives Beweisen (10 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Absolventinnen und Absolventen dieses Moduls sind mit der Verifikation von Spezifikationen vertraut. Sie kennen ein- und höherstufige Logiken und können strukturierte Beweise in diesen Logiken durchführen sowie in interaktiven Beweisen verifizieren.
Zur übergeordneten Rubrik
ML
703640
Interaktives Beweisen (VO / 2h / 4 ECTS-AP)
Cezary Kaliszyk
Details zu dieser Lehrveranstaltung
ML
703641
Interaktives Beweisen (PS / 3h / 6 ECTS-AP)
Vincent van Oostrom
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.