NOUN | der Lambda-Kalkül | - | |
NOUN article sg | article pl
1 Übersetzung
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!
Anwendungsbeispiele Deutsch
weitere Beispiele ...
- 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.
© 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!