Lambda - alt

 


Lehrveranstaltungen

 

Lambda-Kalkül


Allgemeines Übungsblätter Material zur Vorlesung Kurzbeschreibung Literatur


Die Seite mit Material zur Vorlesung "Lambda-Kalkül"-WT03 ist nun hier.


Allgemeines:

5.4.05, 10-13 h: Vorlesung / Wiederholung von Grundbegriffen
regulärer Übungsbetrieb ab 12.4.05


Material zur Vorlesung:

Hier finden Sie künftig Material zur Vorlesung.


Übungsaufgaben:

Hier finden Sie künftig die Übungsblätter.


Kurzbeschreibung:

In der Vorlesung werden ungetypter und getypter λ-Kalkül behandelt. Inhalte sind insbesondere:

  • Grundbegriffe: λ-Terme und Kombinatoren, Redexe und Reduktion, Gleichheit von λ-Termen, Reduktionsstrategien
  • Repräsentierung boolescher und arithmetischer Funktionen
  • Church-Rosser-Theorem
  • Typisierung im Church- und im Curry-Stil
  • Definierbarkeit im einfach getypten λ-Kalkül
  • Typinferenz in λ mit Typvariablen
  • Gödels System T

Literatur:

  • Henk Barendregt. The Lambda Calculus. Its Syntax and Semantics. North-Holland Publishing Company 1981.
  • Jean-Yves Girard, Yves Lafont, Paul Taylor. Proofs and Types. Cambridge Tracts in Theoretical Computer Science 7. Cambridge University Press.
  • Greg Michaelson. An Introduction to Functional Programming through Lambda Calculus. Addison-Wesley 1989.
  • John C. Mitchell. Foundations for Programming Languages. MIT Press 1996.
  • Wolfram Pohlers. Mathematische Grundlagen der Informatik. Handbuch der Informatik Band 1.5. Oldenbourg Verlag 1993.
  • György Revesz. Lambda-Calculus, Combinators, and Functional Programming. Cambridge Tracts in Theoretical Computer Science 4. Cambridge University Press 1988.
(jeweils nur einzelne Abschnitte; genauere Angaben und Ergänzungen erfolgen in der Vorlesung)

Weitere Informationen zu Lehrveranstaltungen unseres Instituts

Institut für Theoretische Informatik und Mathematik 


Birgit Elbl