База ответов ИНТУИТ

Введение в алгоритмы

<<- Назад к вопросам

Единственной существенной аксиомой лямбда-исчисления является

(Отметьте один правильный вариант ответа.)

Варианты ответа
альфа-модификация
гамма-строка
бета-редукция(Верный ответ)
Похожие вопросы
Лямбда-исчисление обладает свойством полноты по Тьюрингу в комплексе
Временная вероятностная модель, в которой состояние процесса описано с помощью единственной дискретной случайной переменной, носит название
2-3 дерево является
Каким является В-дерево?
Является ли Паскаль регистрозависимым?
Символьный тип для Юникода является
Любое дерево является
Граф переходов является
Сортирующее дерево является
Алгоритм Хаффмана является