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

Объектно-ориентированное программирование и программная инженерия

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

Что такое лямбда исчисление? Укажите корректные высказывания

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа
наука, изучающая специальный вид червей
теория, позволяющая лучше понять, что является областью определения переменной, какова роль аргументов, как можно рассматривать программу как объект(Верный ответ)
наука, изучающая функции как механизм, принимающий аргументы и вырабатывающий результат(Верный ответ)
наука, изучающая специальный вид функций
Похожие вопросы
Зависимые переменные лямбда-выражений, также как и формальные параметры методов в программировании, могут быть переименованы без потери смысла. Операция, выполняющая такое преобразование в лямбда-выражениях, называется альфа – преобразованием. При выполнении этого преобразования зависимой переменной x можно дать:
Что происходит с контрактами при наследовании. Укажите корректные утверждения?
Что происходит с инвариантами класса при наследовании. Укажите корректные утверждения?
Одной из основных операций, применяемых к лямбда-выражениям, является операция, называемая бета-редукцией, позволяющая избавиться от связанных переменных выражения путем подстановки. Лямбда-выражение: [\lambda x : X | exp] (e) преобразуется в выражение exp [x := e] Какие утверждения справедливы для бета-редукции?
Под трансформацией лямбда-выражения будем понимать последовательное выполнение ряда операций, включающих альфа-преобразование и бета-редукцию. Пусть заданы две различные трансформации, преобразующие лямбда-выражение exp в выражения exp1 и exp2. Согласно теореме Черча – Россера:
Связанные переменные лямбда-выражения это:
Какие утверждения справедливы для лямбда-выражения?
Какие утверждения справедливы относительно лямбда определения функции:
Имена в подвыражениях лямбда выражения могут конфликтовать. Какие утверждения справедливы относительно устранения возникающей некорректности записи выражения?
Пусть дано лямбда-выражение: \lambda x : INTEGER | [\lambda y : INTEGER | x+y+z ] При выполнении альфа преобразования можно: