Lambda-Kalkül
- Dozent/in
- Dr. Wolfgang Degen
- Angaben
- Vorlesung
2 SWS, ECTS-Studium, ECTS-Credits: 2,5
nur Fachstudium
Zeit und Ort: n.V.
Vorbesprechung: 20.4.2009, 15:15 - 16:00 Uhr, Raum 0.141
- Inhalt
- Der Lambda-Kalkül (in seiner typenfreien Form) ist das historisch erste präzise Berechenbarkeitsmodell, und die sogenannte Churchsche These besagt, dass jede intuitiv berechenbare Funktion Lambda-berechenbar ist. Der Lambda-Kalkül existiert in zwei Ausprägungen: typisiert und typenfrei. Die verschiedenen typisierten Versionen berechnen nur echte Teilmengen der rekursiven Funktionen.
Das Studium des Lambda-Kalküls besitzt auch große methodologische Bedeutung, z.B. in Bezug auf Term-rewriting-Systeme, und in Bezug auf das funktionale Programmieren.
- Empfohlene Literatur
-
- ECTS-Informationen:
- Title:
- The Lambda Calculus
- Credits: 2,5
- Contents
- The Lambda Calculus (in its typefree form) is historically the first precise model of computation; and the so-called Church Thesis states that every intuitively computable function is Lambda-computable. Lambda calculus comes in two forms: typed and type free. The several typed versions compute only proper subsets of the recursive functions.
The study of Lambda calculi is also of great methodological importance, e.g. with relation to term rewriting systems, and to functional programming.
- Literature
- H.P. Barendregt: The Lambda Calculus. Its Syntax and Semantics. North-Holland, 1985.
J.R. Hindley & J.P. Seldin: Lambda-Calculus and Combinatorics. Cambridge, 2008.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
- Institution: Lehrstuhl für Informatik 10 (Systemsimulation)
|
|