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

Какие утверждения справедливы для связанных и свободных переменных выражения:

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

Варианты ответа

переменная является связанной в выражении, если существует хотя бы одно ее связанное вхождение в выражение(Верный ответ)

переменная является свободной в выражении, если существует хотя бы одно ее свободное вхождение в выражение(Верный ответ)

одна и та же переменная выражения может быть как связанной, так и свободной(Верный ответ)

одна и та же переменная выражения не может быть одновременно как связанной, так и свободной

Похожие вопросы

Какие утверждения являются справедливыми относительно связанных и свободных вхождений в выражения?

Одной из основных операций, применяемых к лямбда-выражениям, является операция, называемая бета-редукцией, позволяющая избавиться от связанных переменных выражения путем подстановки. Лямбда-выражение: $[\lambda x : X | exp] (e)$ преобразуется в выражение exp [x := e]

Какие утверждения справедливы для бета-редукции?

Имена в подвыражениях лямбда выражения могут конфликтовать. Какие утверждения справедливы относительно устранения возникающей некорректности записи выражения?

Какие утверждения справедливы для лямбда-выражения?

Полиморфизм - одно из важнейших понятий, связанных с наследованием. Какие высказывания справедливы для присваивания?

Какие утверждения справедливы?

Какие утверждения справедливы для модели водопада?

Какие утверждения справедливы для полиморфного контейнера: