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

Материал из Викисловаря

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

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

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

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

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

Корень: --.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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