Lambda-Kalkül
|
|
|
|
Veranstaltungsnummer: 18.219
Titel: Lambda-Kalkül
Veranstalter: Manfred Kudlek
Zeit und Ort: Mo. 10-12 C-221
Inhalt: Der Lambda-Kalkül als Formales System. Seine Beziehungen zu anderen Formalen Systemen und zum Begriff Algorithmus.
- Lambda-Definierbarkeit und mu-rekursive Funktionen.
- Zweck der Einführung des Lambda-Kalküls.
- Eigenschaften des Lambda-Kalküls (Church-Rosser).
- Darstellung von elementaren Datenstrukturen wie Listen, Bäumen.
- Anwendung des Lambda-Kalküls als Grundlage der Programmiersprache LISP und in der Semantik von Programmiersprachen.
Lernziel: Erarbeitung des Lambda-Kalküls und seiner Anwendungen
Stellung im Studienplan: Hauptstudium, Vertiefungsgebiete:Th2, Th4
Voraussetzungen: Grundstudium
Vorgehen: Vorlesung
Literatur:
Barendregt: The Lambda-Calculus
Curry, Feys: Combinatory Logic
Curry, Feys, Seldin: Combinatory Logic II
Hindley, Seldin: Introduction to Combinators and (lambda) Calculus
Wegner: Programming Languages. Information and Machine Organization
Periodizität: unregelmäßig
Eignung: Für LehrerInnen / NebenfächlerInnen nur bedingt, für Mathematiker/Naturwissenschaftler geeignet.
Stichworte: Lambda-Kalkül, Kombinatorische Logik
