Lambda-Kalkül verstehen

Einführung in den Lambda-Kalkül Der Lambda-Kalkül ist ein formales System zur Beschreibung von Berechnungen. Es wurde in den 1930er Jahren von dem Mathematiker Alonzo Church entwickelt und hat sich seitdem zu einem wichtigen Werkzeug in der Informatik und Mathematik entwickelt. Der Lambda-Kalkül wird häufig zur Definition der Semantik von Programmiersprachen und zur Untersuchung der Rechentheorie … Weiterlesen