Значение слова «лямбда-исчисление»
-
ля́мбда-исчисле́ние
1. формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости
Источник: Викисловарь
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: ионол — это что-то нейтральное, положительное или отрицательное?
Нейтральное
Положительное
Отрицательное
Не знаю
Синонимы к слову «лямбда-исчисление»
Предложения со словом «лямбда-исчисление»
- Не говоря уже о системе лямбда-исчисления.
- (все предложения)
Понятия со словом «лямбда-исчисление»
-
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
- (все понятия)
Отправить комментарий
Дополнительно
Предложения со словом «лямбда-исчисление»
Не говоря уже о системе лямбда-исчисления.
- (все предложения)