108.030 AKLOG: Lambda Kalkül
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020W, VO, 2.0h, 3.0EC
Diese Lehrveranstaltung wird nach dem neuen Modus evaluiert. Mehr erfahren

LVA-Bewertung

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, mit folgenden Sätzen umzugehen:

Lemma von Newman

Theorem von Church Rosser

Einbettbarkeit der Rekursive Funktionen.

Im übrigen dient diese LVA der Vorbereitung der Studierenden  zum selbständigen Wissenserwerb aus der Literatur.

 

Inhalt der Lehrveranstaltung

Die Vorlesung folgt in wesentlichen Teilen dem Standardwerk über den Lambda-Kalkül: Henk Barendregt, Lambda Calculus, dazu kommen beweistheoretische Anwendungen des getypten Lambda-kalküls, wie der Curry-Howard Isomorphismus

Methoden

Vorträge des Lehrenden und Diskussionen mit den Studierenden.

Prüfungsmodus

Mündlich

Weitere Informationen

Interessierte mögen sich an den Vortragenden per e-mail wenden. Es wird ihnen auf Wunsch eine Kopie des Buches von Barendregt zur Verfügung gestellt. Die Vorlesung findet voraussichtlich in Blockform im Februar statt. Der genaue Termin wird noch bekanntgegeben.

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Sa.10:00 - 16:0024.10.2020Sem.R. DA grün 05 Lamda Kalkül
Sa.10:00 - 16:0021.11.2020Sem.R. DA grün 05 Lambda Kalkül

Leistungsnachweis

Positive Absolvierung einer mündlichen Prüfung.

LVA-Anmeldung

Von Bis Abmeldung bis
20.10.2020 08:00 07.11.2020 08:00 07.11.2020 08:00

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Lambda Kalkül20.10.2020 08:0007.11.2020 08:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch