Aktuelle Modulbeschreibung (SoSe 2024)


Logik, Spiele, Automaten

9 LP

Kreutzer, Stephan

benotet

Mündliche Prü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

Pilz, Jana

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

ModultitelLPVerantwortliche*rSpracheGültig abGültig bis einschl.
Logik, Spiele, Automaten9Kreutzer, StephandeWiSe 2020/21offen
Logik, Spiele, Automaten9Kreutzer, StephandeWS 2015/16SoSe 2020
Logik, Spiele, Automaten9Kreutzer, StephandeSS 2014SS 2015