192.054 Lambda Calculus
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019S, VO, 2.0h, 3.0EC

Merkmale

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

Ziele der Lehrveranstaltung

Learn how to use and reason about lambda calculus and types. Learn the fundamental notions of the famous connection between logical proofs and typed lambda terms.

Inhalt der Lehrveranstaltung

We introduce the lambda calculus, the mathematical base of functional programming language. We then show how to map lambda terms into types, that is, logical formulas describing computational properties of programs. This connection between logic and lambda calculus is known as Curry-Howard correspondence.

Weitere Informationen

The course will start on March 11th. The classes will be every Monday 17:00-19:00

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.17:00 - 19:0011.03.2019 - 03.06.2019Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Lambda Calculus - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.11.03.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Mo.18.03.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Mo.25.03.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Mo.01.04.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Mo.08.04.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Mo.29.04.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Mo.06.05.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Mo.13.05.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Mo.20.05.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Mo.27.05.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus
Mo.03.06.201917:00 - 19:00Seminarraum FAV EG C (Seminarraum Gödel) 192.054 VO Lambda Calculus

Leistungsnachweis

Written exam

LVA-Anmeldung

Von Bis Abmeldung bis
12.02.2019 17:30 20.03.2019 17:30

Curricula

StudienkennzahlSemesterAnm.Bed.Info
066 931 Logic and Computation

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Firm knowledge of classical propositional and first-order logic

Sprache

Englisch