Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Lambda-Kalkül

Deutsche Version. This page is available in German only. Cette page n'existe qu'en Allemand. Ésta página sólo existe en Alemán.


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.

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

Letzte Änderung: 17:40 19.05.2011
Impressum