Словарь:лямбда-исчисление
Русский
Морфологические и синтаксические свойства
| падеж | ед. ч. | мн. ч. |
|---|---|---|
| Им. | ля́мбда-исчисле́ние | ля́мбда-исчисле́ния |
| Р. | ля́мбда-исчисле́ния | ля́мбда-исчисле́ний |
| Д. | ля́мбда-исчисле́нию | ля́мбда-исчисле́ниям |
| В. | ля́мбда-исчисле́ние | ля́мбда-исчисле́ния |
| Тв. | ля́мбда-исчисле́нием | ля́мбда-исчисле́ниями |
| Пр. | ля́мбда-исчисле́нии | ля́мбда-исчисле́ниях |
ля́м-бда-ис-чис-ле́ни·е
Существительное, неодушевлённое, средний род, 2-е склонение (тип склонения 7a по классификации А. А. Зализняка). Корень: --.
Произношение
- МФА: [ˌlʲambdə ɪɕt͡ɕɪˈslʲenʲɪɪ̯ə]
Семантические свойства
Значение
- формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости ◆ Отсутствует пример употребления (см. рекомендации).
Синонимы
Антонимы
Гиперонимы
Гипонимы
Родственные слова
| Ближайшее родство | |
Этимология
Происходит от ??
Фразеологизмы и устойчивые сочетания
Перевод
| Список переводов | |
Библиография
 | Для улучшения этой статьи желательно:
|