Lehrveranstaltungen



Wahlmodul 5: Entscheidungsverfahren (10 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Absolventinnen und Absolventen dieses Moduls kennen Entscheidungsverfahren für Aussagenlogik und für Restriktionen der Prädikatenlogik. Sie können diese Entscheidungsverfahren implementieren sowie Spezifikationen in diesen Logiken formulieren und mittels Tools verifizieren.
Zur übergeordneten Rubrik
ML
703620
Theorie der Entscheidungsverfahren (VO / 2h / 4 ECTS-AP)
Aart Middeldorp
Details zu dieser Lehrveranstaltung
ML
703621
Praxis der Entscheidungsverfahren (VO / 1h / 2 ECTS-AP)
Harald Zankl
Details zu dieser Lehrveranstaltung
ML
703622
Theorie und Praxis der Entscheidungsverfahren (PS / 2h / 4 ECTS-AP)
Cezary Kaliszyk
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.