Предложения со словом «лямбда-исчисление»
Не говоря уже о системе лямбда-исчисления.
Синонимы к слову «лямбда-исчисление»
Значение слова «лямбда-исчисление»
1. формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости (Викисловарь)
Отправить комментарий
Дополнительно
Значение слова «лямбда-исчисление»
1. формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости
Все значения слова «лямбда-исчисление»