185.299 Lambda Kalkuel
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2017S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Erlernen abstrakter logischer Sprachen und Spezifikationen, sowie der Grundlagen funktionaler Sprachen, verstehen des Begriffs der Berechenbarkeit. Zusammenhang zwischen Algorithmen und Beweisen.

Inhalt der Lehrveranstaltung

Syntax des Lambda-Kalk"uls, kombinatorische Logik, Lambda-Konversion, Reduktion, Normalform, Konfluenz, Termination, beta-Reduktion, eta-Reduktion, der Satz von Church-Rosser, Lambda-Theorien, Lambda-Definierbarkeit, Zahlensysteme, rekursive Funktionen, Unentscheidbarkeitsresultate. Typisierter Lambda-Kalkuel, Curry-Howard Isomorphismus.

Weitere Informationen

Aufwandsabschaetzung

24 h: 12 Vorlesungseinheiten a 2 h

16 h: Loesen von 2 Uebungsblaettern a 7 Beispielen

4 h: tippen der Loesung in LaTeX

30 h: Vorbereitung auf abschliessende Pruefung

1 h: abschl. Pruefung

---------------------------------------------------

75 Std  = 3 ECTS

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.14:00 - 18:0013.03.2017Seminarraum FAV EG C (Seminarraum Gödel) Lambda Kalkuel
Mo.14:00 - 18:0020.03.2017Seminarraum FAV EG C (Seminarraum Gödel) Lambda Kalkuel
Mo.14:00 - 18:0024.04.2017Seminarraum FAV EG C (Seminarraum Gödel) Lambda Kalkuel
Mo.14:00 - 18:0008.05.2017Seminarraum FAV EG C (Seminarraum Gödel) Lambda Kalkuel
Mo.14:00 - 18:0015.05.2017Seminarraum FAV EG C (Seminarraum Gödel) Lambda Kalkuel
Mo.14:00 - 18:0022.05.2017Seminarraum FAV EG C (Seminarraum Gödel) Lambda Kalkuel
Mo.14:00 - 18:0029.05.2017Seminarraum FAV EG C (Seminarraum Gödel) Lambda Kalkuel

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus)

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch