Download for Windows Premium
Publiciteit
lambda calculus
/'læmdə 'kælkjələs/
Definitie
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.
Принципи лямбда-числення впливають на різні мови програмування сьогодні.
Er zijn geen resultaten gevonden voor deze term.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.

Synoniemen voor lambda calculus in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
ram: male sheep, typically uncastrated
Ontdek het woord
Publiciteit

Resultaten: 68. Exact: 68. Verstreken tijd: 17 ms.