Modelle und Theorie Verteilter Systeme

Lambda-Kalkül und Typ-Systeme

ParameterWert
NiveauWahlpflicht in Bachelor (Semester 5) + Master
VorkenntnisseTheoretische Grundlagen der Informatik
LP6
Bestandteile4IV "Lambda-Kalkül und Typ-Systeme"
SemesterJedes zweite WiSe, alternierend mit DistAlgo
PrüfungsformMündliche Prüfung
Detailssiehe Modulbeschreibung
Materialsiehe Formelsammlung zum Buch

News

WiSe 23/24

Dienstag, 10. Oktober 2023

Das Modul wird im Sinne der jährlichen Alternierung mit Modelle und Theorie Verteilter Algorithmen im WiSe 23/24  angeboten.

WiSe 22/23

Dienstag, 20. September 2022

Das Modul wird im Sinne der jährlichen Alternierung mit Modelle und Theorie Verteilter Algorithmen im WiSe 22/23 nicht angeboten.

WiSe 20/21

Donnerstag, 01. Oktober 2020

Entgegen des Plans der Alternierung mit dem Modul Modelle und Theorie Verteilter Algorithmen wird das Modul erneut angeboten werden, da es sich für ein Digitalsemester besser eignet.

Die Durchführung des Moduls wird via ISIS verwaltet.

WiSe 19/20

Donnerstag, 17. Oktober 2019

Zum WiSe 19/20 wird das Modul erneut und in geänderter Form angeboten werden. Die Durchführung des Moduls wird via ISIS verwaltet.

WiSe 18/19

Mittwoch, 17. Oktober 2018

Nach dem Weggang von Nicolas Guenot entfällt das Modul in diesem Semester. Der Plan ist, es zum WiSe 19/20 erneut und in geänderter Form anzubieten.

Start

Montag, 02. Oktober 2017

Dieses Modul wurde neu konzipiert und von Nicolas Guenot erstmals durchgeführt. Die Modulbeschreibung enthält alle weiteren Details.