WAS BEDEUTET LAMBDA CALCULUS AUF ENGLISCH
Lambda-Kalkül
Lambda-Kalkül ist ein formales System in der mathematischen Logik und Informatik zum Ausdruck der Berechnung auf der Grundlage von Funktionsabstraktion und Anwendung mit variabler Bindung und Substitution. Zuerst formuliert von der Alonzo-Kirche, um den Begriff der effektiven Berechenbarkeit zu formalisieren, fand Lambda-Kalkül frühe Erfolge im Bereich der Berechenbarkeitstheorie, wie eine negative Antwort auf Hilberts Entscheidungsproblem. Lambda-Kalkül ist ein konzeptionell einfaches universelles Berechnungsmodell. Der Name stammt aus dem griechischen Buchstaben lambda, der verwendet wird, um die Bindung einer Variablen in einer Funktion zu bezeichnen. Wegen der Bedeutung des Begriffs der variablen Bindung und Substitution gibt es nicht nur ein System von Lambda-Kalkül, und insbesondere gibt es typisierte und untypisierte Varianten. Historisch gesehen war das wichtigste System das untypisierte Lambda-Kalkül, in dem die Funktionsanwendung keine Einschränkungen hat. In der Kirche-Turing-Thesis wird behauptet, dass die untypisierte Lambda-Kalkulation in der Lage ist, alle effektiv kalkulierbaren Funktionen zu berechnen.
Definition von lambda calculus im Wörterbuch Englisch
Die Definition von Lambda-Kalkül im Wörterbuch ist eine formalisierte Beschreibung von Funktionen und die Art und Weise, wie sie kombiniert, von Alonzo Church entwickelt und in der Theorie bestimmter hoher Programmiersprachen verwendet werden.
MIT «LAMBDA CALCULUS» VERWANDTE WÖRTER IM WÖRTERBUCH ENGLISCH
lambda calculus ·
lambda ·
calculus ·
python ·
examples ·
book ·
dummies ·
typed ·
interpreter ·
tutorial ·
calculator ·
formal ·
system ·
mathematical ·
logic ·
computer ·
science ·
expressing ·
computation ·
based ·
function ·
abstraction ·
application ·
using ·
introduction ·
raúl ·
rojas∗ ·
berlin ·
abstract ·
this ·
paper ·
short ·
painless ·
what ·
zeroturnaround ·
post ·
will ·
give ·
overview ·
should ·
know ·
about ·
invented ·
called ·
defined ·
computable ·
stanford ·
encyclopedia ·
philosophy ·
published ·
substantive ·
revision ·
heart ·
notation ·
functions ·
reduction ·
workbench ·
start ·
reducer ·
scripts ·
tiny ·
raspberry ·
linux ·
server ·
here ·
implementation ·
source ·
code ·
monash ·
university ·
syntax ·
clauses ·
identifiers ·
constants ·
allisons ·
very ·
comprising ·
four ·
kinds ·
expression ·
surprisingly ·
sufficient ·
define ·
chapter ·
sciences ·
developed ·
tions ·
that ·
both ·
their ·
semantics ·
implemen ·
types ·
models ·
fifteen ·
years ·
provoked ·
great ·
deal ·
appear ·
arcane ·
encounter ·
viewed ·
purely ·
naming ·
device ·
however ·
straighforward ·
extension ·
functional ·
ÜBERSETZUNG VON LAMBDA CALCULUS
Erfahre, wie die Übersetzung von
lambda calculus auf
25 Sprachen mit unserem mehrsprachigen
Übersetzer Englisch lautet.
Die
Übersetzungen von lambda calculus auf andere Sprachen, die in diesem Bereich vorgestellt werden, sind zustande gekommen durch
automatische statistische Übersetzung, wobei die Basiseinheit der Übersetzung das Wort «lambda calculus» in Englisch ist.
Übersetzer Deutsch - Chinesisch
lambda演算
1.325 Millionen Sprecher
Übersetzer Deutsch - Spanisch
cálculo lambda
570 Millionen Sprecher
Übersetzer Deutsch - Hindi
लैम्ब्डा पथरी
380 Millionen Sprecher
Übersetzer Deutsch - Arabisch
امدا حساب التفاضل والتكامل
280 Millionen Sprecher
Übersetzer Deutsch - Russisch
лямбда-исчисление
278 Millionen Sprecher
Übersetzer Deutsch - Portugiesisch
lambda calculus
270 Millionen Sprecher
Übersetzer Deutsch - Bengalisch
লম্বডা ক্যালকুলাস
260 Millionen Sprecher
Übersetzer Deutsch - Französisch
lambda-calcul
220 Millionen Sprecher
Übersetzer Deutsch - Malaysisch
Kalkulus lambda
190 Millionen Sprecher
Übersetzer Deutsch - Deutsch
Lambda-Kalkül
180 Millionen Sprecher
Übersetzer Deutsch - Japanisch
ラムダ計算式
130 Millionen Sprecher
Übersetzer Deutsch - Koreanisch
람다 계산법
85 Millionen Sprecher
Übersetzer Deutsch - Javanisch
Lambda kalkulus
85 Millionen Sprecher
Übersetzer Deutsch - Vietnamesisch
phép tính lambda
80 Millionen Sprecher
Übersetzer Deutsch - Tamil
லம்படா கால்குலஸ்
75 Millionen Sprecher
Übersetzer Deutsch - Marathi
लॅम्डा कॅलनलस
75 Millionen Sprecher
Übersetzer Deutsch - Türkisch
Lambda hesabı
70 Millionen Sprecher
Übersetzer Deutsch - Italienisch
lambda calcolo
65 Millionen Sprecher
Übersetzer Deutsch - Polnisch
rachunek lambda
50 Millionen Sprecher
Übersetzer Deutsch - Ukrainisch
лямбда -числення
40 Millionen Sprecher
Übersetzer Deutsch - Rumänisch
lambda calcul
30 Millionen Sprecher
Übersetzer Deutsch - Griechisch
λ- λογισμός
15 Millionen Sprecher
Übersetzer Deutsch - Afrikaans
lambda calculus
14 Millionen Sprecher
Übersetzer Deutsch - Schwedisch
lambdakalkyl
10 Millionen Sprecher
Übersetzer Deutsch - Norwegisch
lambda kalkulus
5 Millionen Sprecher
10 BÜCHER, DIE MIT «LAMBDA CALCULUS» IM ZUSAMMENHANG STEHEN
Entdecke den Gebrauch von
lambda calculus in der folgenden bibliographischen Auswahl. Bücher, die mit
lambda calculus im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.
1
The
Lambda Calculus: Its Syntax and Semantics
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition.
2
Introduction to Combinators and [
lambda]-
calculus
Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'.
J. Roger Hindley, J. P. Seldin,
1986
3
An Introduction to Functional Programming Through
Lambda ...
This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science.
4
Lambda Calculus with Types
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
Henk Barendregt, Wil Dekkers, Richard Statman,
2013
5
Lambda-
Calculus and Combinators: An Introduction
The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
J. Roger Hindley, Jonathan P. Seldin,
2008
6
The Parametric
Lambda Calculus: A Metamodel for Computation
This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science.
Simona Ronchi Della Rocca, Luca Paolini,
2004
7
An Introduction to
Lambda Calculi for Computer Scientists
In contrast to earlier books on these topics, which were written by logicians, this book is written from a computer science perspective and emphasises the practical relevance of many of the key theoretical ideas.
8
Head-Order Techniques and Other Pragmatics of
Lambda ...
Available in Paperback Available in eBook editions (PDF format)Institution: Syracuse University (Syracuse, NY, USA)Advisor(s): Prof.
Nikos B. Troullinos,
2011
9
The
Lambda Calculus Its Syntax and Semantics
The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these.
10
Lambda-
calculus, Combinators and Functional Programming
Provides computer science students and researchers with a firm background in lambda-calculus and combinators.
10 NACHRICHTEN, IN DENEN DER BEGRIFF «LAMBDA CALCULUS» VORKOMMT
Erfahre, worüber man in den einheimischen und internationalen Medien spricht und wie der Begriff
lambda calculus im Kontext der folgenden Nachrichten gebraucht wird.
Computer Programming Camp Offers Lesson In Logic
... is based on a language called Lisp, which is derived from lambda calculus, which is a language designed by a logician for studying logic.”. «StateImpact Florida, Aug 14»
How Miami Coding Camps Are Teaching Students Old-School Logic
... is based on a language called Lisp, which is derived from lambda calculus, which is a language designed by a logician for studying logic.”. «WLRN, Aug 14»
Functional JavaScript With Ramda
ramdaicon. Ramda - the name is a joke based on lamb-da as in lambda calculus and lamb as in a young sheep and Ram as in a male sheep. «iProgrammer, Jun 14»
Ramda wants to put the function in functional JavaScript
The name Ramda is a pun on "lambda," as in lambda calculus, the theoretical foundation of the functional programming paradigm, Hurley said. «InfoWorld, Mai 14»
Scientific computing's future: Can any coding language top a 1950s …
... Pascal are part of the Turing machine branch of the language world, Haskell, along with Lisp, is a member of the lambda calculus branch. «Ars Technica, Mai 14»
Microsoft's head of research opens up about Google X, Windows 9 …
... technical treatises with names like “Optimizing ML with Run-Time Code Generation” and “Metacircularity in the polymorphic lambda calculus. «Digital Trends, Mai 14»
Java SE 8 Is Almost Here, and Lambda Is the Star
But on a more fundamental level, lambda expressions introduce the idea of functions from lambda calculus into the Java language, making the ... «ADT Magazine, Mär 14»
Gibberish is spreading like a virus from academia
... with a memorable opening line: “The exploration of lambda calculus has investigated neural networks, and current trends suggest that the ... «Telegraph.co.uk, Feb 14»
Jeannette Wing '78, SM '79, PhD '83
The class, Structure and Interpretation of Computer Languages, covered foundational material like lambda calculus—and she loved it so much ... «MIT Technology Review, Aug 13»
Everything you wanted to know about Lambda Calculus in Scala
Did you know that Alonzo Church, who invented λ-calculus, would be 110 years old this past June? Sadly, he died at the tender age of 92, but ... «TheServerSide.com, Jul 13»