lambda calculus
lambda calculus · lambda calculi
лямбда-исчисление
Lambda-Kalkül
Any of a family of functionally complete algebraic systems in which lambda expressions…Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.
Значение
значений: 1(исчисляемое, неисчисляемое)Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.
Lambda-Kalkül
лямбда-исчислениеljambda-isčislenije
Переводы
языков: 4Русский
По значениям 1
algebraic system:
Deutsch
По значениям 1
algebraic system:
Происхождение
Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstractCoined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.
Wiktionary, CC BY-SA 4.0 · source
Формы
мн. число: lambda calculi| Ед. число | lambda calculus |
|---|---|
| Мн. число | lambda calculi |
неправильный · Урок
Однокоренные
связанных слов: 7Уроки к слову
уроков: 2- A1Множественное число существительных — Потому что у него неправильное множественное число
- A1Исчисляемые и неисчисляемые существительные — Потому что оно может быть неисчисляемым