Lehrveranstaltungen

Wahlmodul 5: Entscheidungsverfahren (10 ECTS-AP, 5 SSt.)

Anmeldevoraussetzung: keine

Lernergebnisse: 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.

703620

Theorie der Entscheidungsverfahren (VO / 2h / 4 ECTS-AP)
Aart Middeldorp

703621

Praxis der Entscheidungsverfahren (VO / 1h / 2 ECTS-AP)
Harald Zankl

703622

Theorie und Praxis der Entscheidungsverfahren (PS / 2h / 4 ECTS-AP)
Cezary Kaliszyk

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.

Übersicht Anmeldefristen für Lehrveranstaltungen