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

Современная словарная карточка

Значения

noun

формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости

Произношение

[ˌlʲambdə ɪɕt͡ɕɪˈslʲenʲɪɪ̯ə]

Формы слова

лямбда-исчисление ля́мбда-исчисле́ния ля́мбда-исчисле́ний ля́мбда-исчисле́нию ля́мбда-исчисле́ниям ля́мбда-исчисле́нием ля́мбда-исчисле́ниями ля́мбда-исчисле́нии ля́мбда-исчисле́ниях

Предыдущие

Следующие

Данные карточки собраны из открытого источника: Викисловарь (CC BY-SA/GFDL). Формы слова служат для поиска и не индексируются как отдельные страницы.

Вернуться к поиску Все на Л Словарь Даля English dictionary