Lambda-Kalkül - DDDEasy

Wortinformationen

Artikel: das
Wort: Lambda-Kalkül
Typ: Substantiv
PowerIndex: 1
Häufigkeit: 2 von 10
Wörter mit Endung -lambda-kalkül aber mit einem anderen Artikel: -1
98% unserer Spielapp-Nutzer haben den Artikel korrekt erraten.

Lambda-Kalkül Wiki

de
Lambda-Kalkül
Der Lambda-Kalkül ist eine fo
Author: Monkeyblue
Lizenz: Public domain
Bild:Wikimedia
Wortbeschreibung : Wikipedia

Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen. Er beschreibt die Definition von Funktionen und gebundenen Parametern und wurde in den 1930er Jahren von Alonzo Church und Stephen Cole Kleene eingeführt. Heute ist er ein wichtiges Konstrukt für die Theoretische Informatik, Logik höherer Stufe und Linguistik. Mehr lesen

Verknüpfte Begriffe

Y Combinator

Unternehmen
verknüpft
Y Combinator Y Combinator ist ein US-amerikanischer Saatbeschleuniger, der im März 2005 gestartet wurde. Y Combinator steht konsequent an der Spitze der US-amerikanischen Beschleuniger.
#Konzern #Entity #Organisation
Bild-Author:Y Combinator (Wiki)
Lizenz: pd Original

Haskell Brooks Curry

Logiker
verknüpft
Haskell Brooks Curry Haskell Brooks Curry war ein amerikanischer Mathematiker und Logiker. Curry ist am besten für seine Arbeit in der kombinatorischen Logik bekannt.
#Entity #Person
Bild-Author: (Wiki)
Lizenz: Original

Henk Barendregt

Logiker
verknüpft
Henk Barendregt Hendrik Pieter Barendregt ist ein niederländischer Logiker, der für seine Arbeit in Lambda-Kalkül und Typentheorie bekannt ist.
#Person #Entity

Alonzo Church

Mathematiker
verknüpft
Alonzo Church Alonzo Church war ein US-amerikanischer Mathematiker und Logiker, der wichtige Beiträge zur mathematischen Logik und zu den Grundlagen der theoretischen Informatik leistete.
#Entity #Person
Mehr

Gérard Berry

Informatiker
verknüpft
Gérard Berry Gérard Philippe Berry ist ein französischer Informatiker, Mitglied der Französischen Akademie der Wissenschaften, der Französischen Akademie der Technologien und der Academia Europaea.
#Person #Entity
Mehr

William Alvin Howard

Mathematiker
verknüpft
William Alvin Howard William Alvin Howard ist ein Beweistheoretiker, der am besten für seine Arbeit bekannt ist und eine formale Ähnlichkeit zwischen intuitionistischer Logik und dem einfach typisierten Lambda-Kalkül demonstriert, der als Curry-Howard-Korrespondenz bekannt geworden ist.
#Person #Entity

Stephen Cole Kleene

Mathematiker
verknüpft
Stephen Cole Kleene Stephen Cole Kleene war ein amerikanischer Mathematiker. Kleene, einer der Schüler der Alonzo-Kirche, zusammen mit Rózsa Péter, Alan Turing, Emil Post und anderen, ist vor allem als Begründer des als Rekursionstheorie bekannten Zweiges der mathematischen Logik bekannt, der später dazu beitrug, die Grundlagen der Theorie zu schaffen Computerwissenschaften.
#Entity #Person
Mehr

Jean Yves Girard

Mathematiker
verknüpft
Jean Yves Girard Jean-Yves Girard ist ein französischer Logiker, der in der Beweistheorie arbeitet. Er ist Forschungsdirektor am mathematischen Institut von Luminy.
#Entity #Person

Corrado Böhm

Informatiker
verknüpft
Corrado Böhm Corrado Böhm war emeritierter Professor an der Universität von Rom "La Sapienza" und ein Computerwissenschaftler, der insbesondere für seine Beiträge zur Theorie der strukturierten Programmierung, konstruktiven Mathematik, kombinatorischen Logik, Lambda-Kalkül und der Semantik und Implementierung funktionaler Programmiersprachen bekannt ist.
#Entity #Person

Helmut Schwichtenberg

Mathematiker
verknüpft
Helmut Schwichtenberg Helmut Schwichtenberg ist ein deutscher mathematischer Logiker. Schwichtenberg studierte ab 1961 Mathematik an der FU Berlin und ab 1964 an der Universität Münster, an der er 1968 bei Dieter Rödding promoviert wurde.
#Entity #Person

Peter J Landin

Informatiker
verknüpft
Peter J Landin Peter John Landin war ein britischer Informatiker. Er war einer der ersten, der erkannte, dass der Lambda-Kalkül zur Modellierung einer Programmiersprache verwendet werden konnte, eine Einsicht, die für die Entwicklung sowohl der funktionalen Programmierung als auch der Denotationssemantik unerlässlich ist.
#Person #Entity

Jean Louis Krivine

Mathematiker
verknüpft
Jean Louis Krivine Jean-Louis Krivine ist ein französischer mathematischer Logiker und Mathematiker.
#Entity #Person
Mehr

FAQ

royter16 Wecher Artikel hat Lambda-Kalkül? das
royera16 Wie ist die genaue Bedeutung von Lambda-Kalkül in English? lambda calculus

Verbindungen

Logik
Stufe
Funktion
Informatik
Linguistik
Parameter
Kalkül
Untersuchung
Konstrukt
Lambda