lambda calculus

ˈlæmdə ˈkælkjələs

lambda calculi

Définition

Définition de lambda calculus - Dictionnaire anglais Reverso

Nom

mathematics

TECH.

branch of mathematics that uses function abstraction and application

TECH.

He studied lambda calculus to better understand computational frameworks..

computing theory

TECH.

formal system for expressing computation using functions

TECH.

Lambda calculus is fundamental in understanding functional programming.

Ajouter votre suggestion |

Feedback :

Expressions avec lambda

lambda chain

polypeptide chain in antibodies' light chains

The lambda chain was identified in the antibody structure.

lambda expression

expression defining an anonymous function

The lambda expression calculates the sum of two numbers.

lambda hyperon

type of baryon known as lambda baryon

Scientists studied the lambda hyperon in the lab.

lambda particle

type of subatomic particle in the baryon family

The lambda particle is essential in understanding quantum chromodynamics..

node lambda

serverless function executed in Node.js environment

The node lambda executed the code without a server.

Expressions avec calculus

dental calculus

hard deposit on teeth formed by mineralization of dental plaque

Regular brushing can help prevent dental calculus buildup.

differential calculus

branch of calculus studying derivatives and differentials

Differential calculus helps find the slope of a curve.

infinitesimal calculus

branch of mathematics dealing with derivatives and integrals

He studied infinitesimal calculus during his first year at university.

integral calculus

branch of calculus focusing on integration and its applications

Integral calculus is essential for solving complex engineering problems.

predicate calculus

branch of logic using symbols for statements about objects and properties

Predicate calculus helps formalize statements in mathematics.

propositional calculus

symbolic logic branch handling propositions and connectives

Propositional calculus uses symbols to represent logical connectives.

calculus of variations

calculus area for maximizing or minimizing integrals and other functionals

She studied calculus of variations to derive the shortest curve between two points.

felicific calculus

theoretical framework for measuring pleasure

Felicific calculus is often discussed in utilitarian ethics.

functional calculus

method to apply functions to operators

Functional calculus is used in quantum mechanics.

operational calculus

study of calculus using operator theory

Operational calculus simplifies solving differential equations.

Exemples de lambda calculus dans une phrase

Researchers use lambda calculus to model complex algorithms.
Students often struggle with the concepts of lambda calculus.
Lambda calculus provides a framework for analyzing algorithms.

Voir toutes les traductions de lambda calculus

✨Cliquez sur une langue pour voir une ou plusieurs traductions associées à chaque sens.

Français:calculus lambda, lambda-calcul, ...
Allemand:Lambda-Kalkül, ...
Italien:calcolo lambda, ...
Espagnol:cálculo de lambda, ...
Portugais:cálculo lambda, cálculo de lambda, ...
Chinois:λ演算, ...
Japonais:ラムダ計算, ラムダカリキュラス, ...
Arabe:حِسَاب لَامْبْدَا, ...
Hébreu:חֶשְׁבּוֹן לַמְדָּא, לַמְבְּדָה קַלְקוּלוּס, ...
Russe:лямбда-исчисление, ...
Ukrainien:лямбда-числення, функціональне числення, ...
Hindi:लैम्ब्डा कैलकुलस, गणना प्रणाली, ...
Bengali:ল্যাম্বডা ক্যালকুলাস, ...
Catalan:càlcul lambda, lambda càlcul, ...
Coréen:람다 계산법, 람다 대수, ...
Danois:lambda-beregning, ...
Grec:υπολογισμός λάμδα, υπολογιστική λογιστική, ...
Hongrois:lambda-kalkulus, lambda-számítás, ...
Khmer:កលនវិជ្ជាឡាំដា, ប្រព័ន្ធផ្លូវការសម្រាប់បង្ហាញការគណនាដោយប្រើអនុគមន៍, ...
Néerlandais:lambda-calculus, lambdacalculus, ...
Persan:حساب لامبدا, ...
Polonais:rachunek lambda, kalkulus lambda, ...
Portugais (BR):cálculo lambda, ...
Roumain:calcul lambda, ...
Suédois:lambda-kalkyl, lambda-beräkning, ...
Tchèque:lambda kalkul, ...
Thaï:แคลคูลัสแลมบ์ดา, ...
Turc:lambda hesabı, lambda hesaplaması, ...
Vietnamien:tính toán lambda, lambda calculus, ...

Découvrez comment Reverso redéfinit le dictionnaire

Cherchez plus que des “mots simples”

100 000 expressions idiomatiques Explorez des expressions professionnelles comme 💬 touch base ou ↩️ circle back, ou encore des expressions du quotidien telles que 🌊 out of the blue ou 🦆 lame duck, ainsi que des expressions imagées comme 🍲 spill the beans et 🐎 hold your horses.

40 000 images Cherchez un mot concret ou un objet et les images parleront d’elles-mêmes. Essayez par exemple de chercher 🧵 puppytooth, 🎠 merry-go-round, ⚜️ fleur-de-lys ou 💤 bunk bed.

Du langage familier à l’argot Les conversations du quotidien regorgent d’argot et d’expressions familières qui n’apparaissent pas forcément dans les dictionnaires historiques. Les sens familiers sont clairement indiqués, afin que vous sachiez avec qui utiliser chaque mot ! Cherchez par exemple hangry (😋 hungry + 😡 angry), 😎 rizz, 🕹️ noob ou 🔑 low-key.

Acronymes & sigles Décryptez rapidement les acronymes et sigles du langage courant. Passez de IDK (I Don’t Know) à OMG (Oh My God) en quelques secondes et restez à jour avec des acronymes populaires comme 🐐 GOAT, 📜 tl;dr, 👀 POV ou 🖥️ AFK.

Différences régionales (US / UK) Les sens spécifiques à l’anglais américain ou britannique sont clairement indiqués. Cherchez lift vs elevator, courgette vs zucchini, ou des termes de l’argot britannique comme dodgy ou banter. De plus, lorsque vous cherchez un mot comme color, son équivalent britannique colour vous est proposé.

Obtenez plus qu'une simple définition

Traductions pour chaque sens Consultez les traductions associées à chaque sens afin de voir comment un mot se traduit selon le contexte. Activez simplement les traductions et choisissez parmi plus de 25 langues. Vous pouvez également afficher la traduction des définitions ou des exemples dans votre langue maternelle pour approfondir votre compréhension.

Synonymes et termes similaires en fonction du sens Découvrez les synonymes et termes liés pour chaque sens d’un mot, pas seulement pour le mot dans son ensemble. Cela vous permet de choisir le mot le plus précis pour votre contexte. Cliquez sur l’icône

pour voir les termes associés : analogies, antonymes, collocations fréquentes, mots de la même famille, termes chapeau… Essayez avec happening ou hunch.

Un sens, plusieurs exemples Chaque sens est illustré par trois exemples tirés de la vie réelle pour vous montrer comment le mot est utilisé dans différents contextes. Cliquez sur l’icône

à côté du premier exemple pour en voir deux supplémentaires et apprendre à utiliser ce nouveau vocabulaire avec naturel.

Passez de la compréhension à la maîtrise

Enregistrez des mots pour les réviser plus tard Cliquez sur l’icône

pour enregistrer les mots que vous souhaitez revoir. Vous pouvez également enregistrer un sens précis en cliquant sur l’icône

à côté de celui-ci. Par exemple, vous pouvez enregistrer le mot « table » en tant que verbe, qui signifie alors « reporter ».

Entraînez-vous avec des flashcards personnalisées Reverso transforme automatiquement vos recherches et vos mots enregistrés en flashcards et en quiz personnalisés, avec un audio de haute qualité et des exemples d’utilisation. Cela vous aide à utiliser au quotidien des mots que vous ne faisiez que reconnaître jusque là.

Apprenez avec Netflix, YouTube et vos textes préférés Avec l’extension Chrome de Reverso, transformez films, séries, articles ou paroles de chansons en leçon interactive. Recherchez des mots et des expressions en un clic et apprenez avec vos contenus préférés.

Définition de lambda calculus - Dictionnaire anglais Reverso

Nom

Expressions avec lambda

Expressions avec calculus

Les termes similaires à lambda calculus

Exemples de lambda calculus dans une phrase

Voir toutes les traductions de lambda calculus

Découvrez comment Reverso redéfinit le dictionnaire

Cherchez plus que des “mots simples”

Obtenez plus qu'une simple définition

Passez de la compréhension à la maîtrise