Download for Windows Premium
Advertising
lambda calculus
/'læmdə 'kælkjələs/
Definition
1. branch of mathematics that uses function abstraction and application 2. formal system for... See more
лямбда-числення
лямбда-численні
функціональне числення
обчислювальна система
Studying lambda calculus can deepen your insights into computation and algorithms.
Вивчення лямбда-числення може поглибити ваше розуміння обчислень та алгоритмів.
In mathematics, lambda calculus helps solve complex logic problems effectively.
У математиці лямбда-числення допомагає ефективно розв'язувати складні логічні задачі.
The advantage of this is that evaluating expressions in lambda calculus is quite complicated because the semantics of substitution must be specified with great care to avoid variable capture problems.
Перевага цього полягає в тому, що оцінювання виразів у лямбда-численні є досить складним, оскільки семантика заміщення повинна бути задана з великою обережністю, щоб уникнути проблем із захопленням змінних.
This is the same general convention (left-associativity) as for multiple application in lambda calculus.
Це та ж сама загальна домовленість (ліва асоціативність) що й для кількох аплікації в лямбда-численні.
The syntax of lambda calculus is deceptively simple but profound.
Синтаксис лямбда-числення оманливо простий, але глибокий за змістом.
Using lambda calculus can clarify complex function definitions in mathematics.
Використання лямбда-числення може прояснити складні визначення функцій у математиці.
Some researchers explore the implications of lambda calculus in artificial intelligence.
Деякі дослідники вивчають застосування лямбда-числення у штучному інтелекті.
Despite its simplicity, lambda calculus can express complex computations.
Незважаючи на свою простоту, лямбда-числення здатне виражати складні обчислення.
To master lambda calculus, one must grasp its function application rules.
Щоб опанувати лямбда-числення, необхідно зрозуміти правила застосування функцій.
Learning lambda calculus provides skills that are useful in software development.
Вивчення лямбда-числення надає навички, корисні у розробці програмного забезпечення.
In academic settings, lambda calculus is frequently discussed in logic classes.
В академічному середовищі лямбда-числення часто обговорюють на заняттях з логіки.
Understanding lambda calculus can enhance your grasp of functional programming concepts.
Розуміння лямбда-числення може покращити ваше сприйняття концепцій функціонального програмування.
The principles of lambda calculus influence various programming languages today.
Принципи лямбда-числення впливають на різні мови програмування сьогодні.
No results found for this meaning.
Go Premium to unlock millions of translation examples, save and learn unlimited vocabulary, without ads.

Synonyms and analogies of "lambda calculus" in English

Word & Expression of the day
Image of the day
ram: male sheep, typically uncastrated
Reveal the word
Advertising

Results: 68. Exact: 68. Elapsed time: 17 ms.

Word index: 1-300, 301-600, 601-900

Expression index: 1-400, 401-800, 801-1200

Phrase index: 1-400, 401-800, 801-1200