Lehrveranstaltungen



Pflichtmodul 14: Logik (7,5 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Absolventinnen und Absolventen dieses Moduls verstehen Logik-kalkü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
ML
703026
Logik (VO / 3h / 4,5 ECTS-AP)
Aart Middeldorp
Details zu dieser Lehrveranstaltung
ML
703027
Logik (PS / 2h / 3 ECTS-AP)
Julian Nagele, Franziska Gabriele Rapp, Christian Sternagel, 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.