Publicitate
Conectează-te cu un cont Reverso, este rapid și gratuit!
lambda calculus
Definiție
Traducere "lambda calculus" în olandeză
Definiție NEW
lambda calculus
The written exam is a closed book exam and includes for each part (propositional logic, predicate logic and lambda calculus) at least a theoretical question and an exercise.
Het schriftelijk examen is een gesloten boek examen en omvat per onderdeel (propositielogica, predicaatlogica en lambda calculus) ten minste een theorievraag en een oefening.
The untyped lambda calculus is Turing complete, but many typed lambda calculi, including System F, are not.
Echter, sommige getypeerde lambda-calculi, zoals de tweede orde lambda calculus, zijn niet Turing-volledig.
Okay, I'll just say one more thing Lambda calculus.
Oké, ik zal gewoon nog een ding zeggen Lambda calculus.
Okay, I'll just say one more thing Lambda calculus.
Oké, ik zeg nog meer één ding: lambda calculus.
The students know the link between formal systems, such as Lambda Calculus, and programming languages such as Scheme.
De studenten kennen het verband tussen formele systemen, zoals lambda calculus, en programmeren.
The course material used during the lectures as well as the excercises and a course text on Lambda Calculus is bundled and available at the VUB course service ("Logoca en formele systemen").
Het materiaal (transparanten) dat tijdens de hoorcolleges gebruikt wordt om de theorie toe te lichten, een beschrijving van Lambda Calculus en een oefeningenbundel zijn verkrijgbaar in dictaatvorm bij de VUB cursusdienst ("Logica en formele systemen").
Formal calculi such as the lambda calculus and combinatory logic are now studied as idealized programming languages.
Formele calculi zoals de lambdacalculus en de combinatorische logica worden nu bestudeerd als geïdealiseerde programmeertalen.
Categorical logic is now a well-defined field based on type theory for intuitionistic logics, with applications in functional programming and domain theory, where a cartesian closed category is taken as a non-syntactic description of a lambda calculus.
De categorische logica is nu een goed-gedefinieerd gebied dat gebaseerd is op typentheorie voor intuïtionistische logica's, met toepassingen in het functioneel programmeren en de domeintheorie, waar een cartesisch gesloten categorie wordt beschouwd als een niet-syntactische beschrijving van een lambdacalculus.
The lambda calculus influenced the design of the LISP programming language and functional programming languages in general.
De praktische invloed van Church' lambdacalculus is direct voelbaar in het ontwerp van veruit de meeste, functionele programmeertalen en in het bijzonder in de LISP-taal.
The Automath system included many novel notions that were later adopted and/or reinvented in areas such as typed lambda calculus and explicit substitution.
Het Automath-systeem bevatte vele nieuwe ideeën die later werden overgenomen of opnieuw werden uitgevonden op gebieden zoals de getypeerde lambda-calculus en de expliciete substitutie.
The lambda calculus emerged in his 1936 paper showing the unsolvability of the Entscheidungsproblem.
Hij introduceerde deze calculus in zijn beroemde paper uit 1936, waarin hij het bestaan van een onbeslisbaar probleem aantoonde.
Okay, I'll just say one more thing: Lambda Calculus.
Ik zeg nog één ding: lambdacalculus.
Anonymous functions originate in the work of Alonzo Church in his invention of the lambda calculus, in which all functions are anonymous, in 1936, before electronic computers.
Anonieme functies kwamen voor het eerst voor in het werk van Alonzo Church bij de ontwikkeling van de lambdacalculus in 1936 (lang voor het gebruik van elektronische computers).
Sinonime și analogii pentru "lambda calculus" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Rezultate: 17. Exacte: 17. Timp de răspuns: 32 ms.
