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

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

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

Определим сигнатуру композиции двух функций f ; g следующим образом: ";": [[X \to Y ] ? [Y \to Z ]] \to [X \to Z] Какие утверждения справедливы?

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