Aktuelle Modulbeschreibung (SoSe 2025)


Logik

6 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


EN 25

Pilz, Jana

las-lehre@lists.tu-berlin

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 6 freigegebene Modulbeschreibungen. Alle nicht mehr oder noch nicht gültigen Modulbeschreibungen sind ausgegraut.

ModultitelLPBenotungVerantwortliche*rSprache(n)Gültig abGültig bis einschl.
Logik6BenotetKreutzer, StephandeWiSe 2022/23offen
Logik6BenotetKreutzer, StephandeWiSe 2020/21SoSe 2022
Logik6BenotetKreutzer, StephandeWS 2019/20SoSe 2020
Logik6BenotetKreutzer, StephandeWS 2017/18SS 2019
Logik6BenotetKreutzer, StephandeSS 2016SS 2017
Logik6BenotetKreutzer, StephandeWS 2013/14WS 2015/16