Werbung
 Übersetzung für 'Lambda-Kalkül' von Deutsch nach Englisch
NOUN   der Lambda-Kalkül | -
math.
lambda calculus <λ-calculus>
Lambda-Kalkül {m} <λ-Kalkül>
1 Übersetzung
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Übersetzung für 'Lambda-Kalkül' von Deutsch nach Englisch

Lambda-Kalkül {m} <λ-Kalkül>
lambda calculus <λ-calculus>math.
Werbung
Anwendungsbeispiele Deutsch
  • Zum anderen zeigte sich, dass auch andere Herangehensweisen, die menschliche Denkweise beim Rechnen zu formalisieren, nicht erfolgreicher waren: So wurde von Turing historisch zuerst die Äquivalenz von Churchs Lambda-Kalkül zur Turingmaschine bewiesen.
  • Zu den Turing-mächtigen Berechnungsmodellen gehören neben der Turingmaschine beispielsweise Zweikellerautomaten, WHILE-Programme, μ-rekursive Funktionen, Registermaschinen und der Lambda-Kalkül.
  • Konrad Zuse nutzte bei der Entwicklung des Plankalküls die Arbeiten zum Lambda-Kalkül von Alonzo Church und Stephen Kleene aus den 1930er Jahren.
  • In Abgrenzung von der Begriffslogik werden in der modernen Logik nicht Begriffe als Grundelemente betrachtet, sondern – je nach System – Aussagen (in der Aussagenlogik), Prädikate (in der Prädikatenlogik) oder Funktionen (im Lambda-Kalkül).
  • Weitere Formalisierungen des Berechenbarkeitsbegriffs sind die Registermaschinen, der Lambda-Kalkül (Alonzo Church), rekursive Funktionen, Chomsky-Grammatiken (siehe Chomsky-Hierarchie) und Markow-Algorithmen.

  • Lisp ist eine Familie von Programmiersprachen, die 1958 erstmals spezifiziert wurde und am Massachusetts Institute of Technology (MIT) in Anlehnung an den ungetypten Lambda-Kalkül entstand.
  • auf einer Turingmaschine oder im Lambda-Kalkül feststellbar.
  • Diese wurden in Anlehnung an den Lambda-Kalkül entwickelt und bereits 1958 (wenn auch mit fehlerhafter dynamischer Bindung) in LISP implementiert.
  • Haskell basiert auf dem Lambda-Kalkül, weshalb auch der griechische Buchstabe Lambda als Logo verwendet wird.
  • In den 1930er Jahren entwickelte Alonzo Church den Lambda-Kalkül als Instrument, um das Entscheidungsproblem zu bearbeiten und dazu den Begriff der berechenbaren Funktion zu definieren.

  • Der Name dieser Spezialform geht auf den Lambda-Kalkül zurück.
  • Ein typisches Beispiel sind die Ausdrücke im Lambda-Kalkül, deren abstrakte Grammatik oft nur knapp als [...] niedergeschrieben wird.
Werbung
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!