Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

• TGI
  • Heimatseite
  • Ankündigungen
• Personen
  • Mitarbeiterinnen und Mitarbeiter
  • Studentinnen und Studenten
• Lehre
  • Lehre
  • Abschlussarbeiten
• Forschung
• Publikationen
• Service
  • Service
  • Tools
  • Petri Nets World
    

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