Lehrveranstaltungen

Pflichtmodul 16: Logik (7,5 ECTS-AP, 5 SSt.)

Anmeldevoraussetzung: keine

Lernergebnisse: Die Studierenden verstehen nach Abschluss dieses Moduls Logikkalküle und können diese anwenden. Sie haben die Fertigkeit erworben, sich ähnliche Inhalte selbst zu erarbeiten. Darüber hinaus sind sie in der Lage, zu abstrahieren und komplexe Probleme in formalen Kalkülen zu modellieren.

OLAT ML

703026

VO Logik (VO / 3h / 4,5 ECTS-AP)
Aart Middeldorp

OLAT ML

703027

PS Logik (PS / 2h / 3 ECTS-AP)
Christina Kirk, Aart Middeldorp, Fabian Sebastian Mitterwallner, Harald Zankl

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