Geplant sind Präsenz-Vorlesung und -Übungen, ggf. kann der Kurs aber auch hybrid oder nur online stattfinden. Aktuelle Informationen entnehmen Sie bitte dem Lernweb-Kurs.

Der Lambda-Kalkül ist eng mit dem Berechenbarkeitsbegriff verbunden, zeigt aber - im Gegensatz etwa zu Turing-Maschinen - deutlich mehr praktische Anwendungen.

Wir interessieren uns für den Kalkül als solches und den Zusammenhang mit funktionalen Programmiersprachen sowie der kombinatorischen Logik.

Kurs im HIS-LSF