#687535
Как в бета-редукции определяется понятие «свободная программа»?
Варианты ответа:
  • вхождение переменной v в терм T
  • отсутствием в лямбде-терме свободного вхождения
  • использование разного количества редукций
Тематика: Функциональное программирование и интеллектуальные системы
Курсы в категории: Информационные технологии
📚 Похожие вопросы по этой дисциплине
Какие предикаты сравнения содержит язык программиров Кто является создателем языка программировани Какие языки не используются в модели Хиндл Как называются языки обработки символьной и В чем главное предназначение языка обработки символьной инф