Главная /
Функциональное программирование /
Возможно ли построить автоматический верификатор произвольных функциональных программ на зацикливаемость?
Возможно ли построить автоматический верификатор произвольных функциональных программ на зацикливаемость?
вопросПравильный ответ:
да, поскольку функциональные программы имеют четкие математические денотаты
да, поскольку чистое лямбда-исчисление является полным
нет, поскольку невозможно учесть побочные эффекты
нет, поскольку проблема самоприменимости неразрешима
Сложность вопроса
85
Сложность курса: Функциональное программирование
54
Оценить вопрос
Комментарии:
Аноним
Очень сложные тесты
21 май 2019
Аноним
Если бы не данные ответы - я бы не справился c этими тестами intuit.
24 сен 2018
Другие ответы на вопросы из темы программирование интуит.
- # Какой будет результат выполнения let x::y = [1;2;3;4] ?
- # Как определяются значения логического типа при формальном построении языка функционального программирования?
- # Что такое денотационная семантика языка программирования?
- # Как определяется наименьшая неподвижная точка непрерывной функции f в соответствии с теоремой о неподвижной точке?
- # Программа, порожденная генератором fsyacc: