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
VO Theorie der Entscheidungsverfahren (VO / 2h / 4 ECTS-AP)
Aart Middeldorp
Details zu dieser Lehrveranstaltung
ML
703621
VO Praxis der Entscheidungsverfahren (VO / 1h / 2 ECTS-AP)
Christian Sternagel
Details zu dieser Lehrveranstaltung
ML
703622
PS Theorie und Praxis der Entscheidungsverfahren (PS / 2h / 4 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.