Aktuelle Modulbeschreibung (SoSe 2025)


Angewandte Logiken

3 LP

Kreutzer, Stephan

Benotet

Portfolioprüfung

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34352200 FG Logik und Semantik

Keinem Prüfungsausschuss zugeordnet

Kontakt


TEL 7-3

Bab, Sebastian

stephan.kreutzer@tu-berlin.de

Keine Angabe

Modulbeschreibungen

Die Modulbeschreibungen können sich im Laufe der Zeit ändern. Um die Änderungen transparent und nachvollziehbar darzustellen, werden die Modulbeschreibungen versioniert und gelten je nach Freigabe für verschiedene Semester(zeiträume). Im Normalfall sollte es nur eine freigegebene Version für ein Semester geben. Dieses Modul enthält 5 freigegebene Modulbeschreibungen. Alle nicht mehr oder noch nicht gültigen Modulbeschreibungen sind ausgegraut.

ModultitelLPBenotungVerantwortliche*rSprache(n)Gültig abGültig bis einschl.
Angewandte Logiken3BenotetKreutzer, StephandeWiSe 2022/23offen
Angewandte Logiken3BenotetKreutzer, StephandeWiSe 2020/21SoSe 2022
Angewandte Logiken3BenotetKreutzer, StephandeSS 2017SoSe 2020
Angewandte Logiken3BenotetKreutzer, StephandeSS 2015WS 2016/17
Angewandte Logiken3BenotetKreutzer, StephandeWS 2014/15WS 2014/15