Advertising
Register for free: access more results and features
lambda calculus
Definition
Translation of "lambda calculus" in Russian
Definition
Researchers utilize lambda calculus to prove theories about computation and functions.
Исследователи используют лямбда-исчисление для доказательства теорий о вычислениях и функциях.
In academic settings, lambda calculus is frequently discussed in logic classes.
В академических кругах лямбда-исчисление часто обсуждается на занятиях по логике.
Learning lambda calculus provides skills that are useful in software development.
Изучение лямбда-исчисления предоставляет навыки, полезные в разработке программного обеспечения.
The study of lambda calculus extends beyond basic math into computer science.
изучение лямбда-исчисления выходит за рамки базовой математики и включает в себя информатику.
But based on comments in Gandy's thesis, Gandy probably wouldn't have been doing anything with lambda calculus until the late 1940s.
Но, основываясь на комментариях к диссертации Ганди, вероятно, ничего не делал бы с лямбда-исчислением до конца 1940-х годов.
Rather than use mathematical notation or an unfamiliar academic programming language like Haskell or Lisp, this book uses Ruby in a reductionist manner to present formal semantics, automata theory, and functional programming with the lambda calculus.
Вместо математической нотации или незнакомого академичного языка программирования типа Haskell или Lisp в этой книге для объяснения формальной семантики, теории автоматов и функционального программирования вкупе с лямбда-исчислением применяется язык Ruby, сведенный к минимуму.
Many computer scientists consider lambda calculus essential for theoretical computer science.
Многие компьютерные ученые считают лямбда-исчисление необходимым для теоретической информатики.
In mathematics, lambda calculus helps solve complex logic problems effectively.
В математике лямбда-исчисление помогает эффективно решать сложные логические задачи.
Studying lambda calculus can deepen your insights into computation and algorithms.
Изучение лямбда-исчисления может углубить ваше понимание вычислений и алгоритмов.
Using lambda calculus can clarify complex function definitions in mathematics.
использование лямбда-исчисления может прояснить сложные определения функций в математике.
Some researchers explore the implications of lambda calculus in artificial intelligence.
некоторые исследователи изучают влияние лямбда-исчисления на искусственный интеллект.
The principles of lambda calculus influence various programming languages today.
принципы лямбда-исчисления сегодня влияют на различные языки программирования.
The syntax of lambda calculus is deceptively simple but profound.
синтаксис лямбда-исчисления обманчиво прост, но глубок.
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
Suggestions that contain lambda calculus
Results: 80. Exact: 80. Elapsed time: 40 ms.
