лямбда-исчисление

Русский править

Морфологические и синтаксические свойства править

падеж ед. ч. мн. ч.
Им. ля́мбда-исчисле́ние ля́мбда-исчисле́ния
Р. ля́мбда-исчисле́ния ля́мбда-исчисле́ний
Д. ля́мбда-исчисле́нию ля́мбда-исчисле́ниям
В. ля́мбда-исчисле́ние ля́мбда-исчисле́ния
Тв. ля́мбда-исчисле́нием ля́мбда-исчисле́ниями
Пр. ля́мбда-исчисле́нии ля́мбда-исчисле́ниях

ля́м-бда-ис-чис-ле́ни·е

Существительное, неодушевлённое, средний род, 2-е склонение (тип склонения 7a по классификации А. А. Зализняка).

Корень: --.

Произношение править

  • МФА: [ˌlʲambdə ɪɕt͡ɕɪˈslʲenʲɪɪ̯ə]

Семантические свойства править

Значение править

  1. формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости ◆ Отсутствует пример употребления (см. рекомендации).

Синонимы править

Антонимы править

Гиперонимы править

  1. исчисление

Гипонимы править

Родственные слова править

Ближайшее родство

Этимология править

Происходит от ??

Фразеологизмы и устойчивые сочетания править

Перевод править

Список переводов

Библиография править