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.

2018W, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

Die Vorlesung dient der Einführung in den ungetypten und getypten Lambda-Kalkül, der die logische Grundlage zahlreicher Anwendungen in der Informatik darstellt.

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

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
Do.16:00 - 16:3011.10.2018 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, Freihaus, grüner Bereich, 5. Stock, DA05 C22Vorbesprechung

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch