Предложения со словом «лямбда-исчисление»

Значение слова «лямбда-исчисление»

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

Все значения слова «лямбда-исчисление»

Синонимы к слову «лямбда-исчисление»

• индексатор
• инвариантность
• предикат
• дескриптор
• ассемблер
• (ещё синонимы...)

Правописание

• Как правильно пишется слово «лямбда-исчисление»