Lehrveranstaltungen


Erweiterte Suche|Zurücksetzen
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.
Zur übergeordneten Rubrik
OLAT ML
703026
VO Logik (VO / 3h / 4,5 ECTS-AP)
Aart Middeldorp, Johannes Niederhauser
Details zu dieser Lehrveranstaltung
OLAT ML
703027
PS Logik (PS / 2h / 3 ECTS-AP)
Sven Goetzke, Alexander Montag, Johannes Niederhauser, Daniel Peter Richard Ranalter, Harald Zankl
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.