Download for Windows Premium
Ofertă specială pentru a descoperi Premium
-50% pe viață la toate abonamentele
Înregistrează-te Conectare cu Google Conectare cu Apple
Reverso Premium
Publicitate
lambda calculus
Definiție
1. branch of mathematics that uses function abstraction and application 2. formal system for... Afișați mai multe
lambdakalkyl n
Okay, I'll just say one more thing: Lambda Calculus.
Okej, jag ska bara säga en sak: lambdakalkyl.
Lambda calculus has greatly influenced functional programming languages, such as LISP, ML and Haskell.
Idag är lambdakalkyl den matematiska grunden för många funktionella programspråk, exempelvis Lisp.
The lambda calculus uses a similar approach.
Lambdakalkyl fungerar på ungefär samma sätt.
Okay. Well, let me just say one more thing, lambda calculus.
Låt mig säga en sak: Lambdakalkyl.
Type theory: lambda calculus, contexts, forms of judgement, simple types, inductive types.
Typteori: Lambda-kalkyl, kontext, omdömen, enkla typer, induktiva typer.
Some programming languages that were influenced by lambda calculus, like LISP, use prefix notation.
Så är fallet i programspråket Lisp, vilket använder prefixnotation.
Nici un rezultat pentru acest sens.

Sinonime și analogii pentru "lambda calculus" în limba Română

Cuvântul și expresia zilei
Imaginea zilei
wheelbarrow: open container with handles and a wheel for transport
Află cuvântul
wheelbarrow
Publicitate

Rezultate: 6. Exacte: 6. Timp de răspuns: 12 ms.