Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
lambda calculus
Definiție
Traducere "lambda calculus" în rusă
Definiție NEW
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.
синтаксис лямбда-исчисления обманчиво прост, но глубок.
Sinonime și analogii pentru "lambda calculus" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Sugestii
Rezultate: 80. Exacte: 80. Timp de răspuns: 36 ms.
