#687631
В чем заключается суть теоремы Черча-Россера?
Варианты ответа:
  • для нахождения значений функции, существует какой-нибудь алгоритм, когда функция является вычислимой
  • если у лямбда-терма есть нормальная форма, то она единственна и достигается нормальным порядком редукций
  • позволяет за конечное число шагов эффективно определить, является ли заданная замкнутая формула теории доказуемой
Тематика: Функциональное программирование и интеллектуальные системы
Курсы в категории: Информационные технологии
📚 Похожие вопросы по этой дисциплине
Из каких атомов состоят S -выр С помощью какой системы было доказано несколько фундаментальных теорем – теор Как называется специальный термин, где нормальная форма есть не у любого лямбда-терма – вычисление некот Верно ли следующее утверждение: «Что Инженер знаний«извлекает» из экспертов процедуры, стратегии, эмпирические правила, которые они используют при решении задач, и вст В 70-х – начале 80-х годов XX века появляется множество типизированных функциональных языков, какие из ниже пере