Основы программирования - ответы на тесты Интуит

Предположим, что определены классы Car и Owner_of_car, моделирующие понятия "машина" и "владелец машины". У класса Car определены методы set_owner, mark, color, owner (Команда, позволяющая задать владельца, и три запроса, определяющие марку, цвет и владельца машины). У класса Owner_of_car определен запрос name, возвращающий имя владельца машины. Будем полагать, что определены объекты этих классов – my_car и my_person. Какая программа в соответствии с уже заданными правилами позволяет задать для объекта my_car владельца машины и вывести на консоль свойства, характеризующие марку, цвет машины и имя владельца:

(1) my_car(set_owner(my_person)) Console.show(my_car.mark) Console.show(my_car.color) Console.show(name)

(2) my_car.set_owner(my_person) Console.show(my_car.mark) Console.show(my_car.color) Console.show(my_сar.owner.name)

(3) my_car.set_owner(my_person) Console(my_car.mark) Console(my_car.color) Console(my_сar.owner.name)

(4) my_car = my_person Console.show(my_car.mark) Console.show(my_car.color) Console.show(my_сar.owner.name)

Рассмотрим отношения между понятиями, используемыми в программировании. Какое отношение задано некорректно?

(1) класс имеет синтаксическую структуру

(2) АСТ отображает синтаксическую структуру

(3) КСТ отображает синтаксическую структуру

(4) АСТ является подвидом дерева

(5) дерево является подвидом корня

(6) корень является подвидом вершины дерева

Рассмотрим фрагмент карты концепций. Какое отношение в этом фрагменте задано некорректно?

(1) метод имеет контракт

(2) контрактный облик отображает интерфейс класса

(3) предусловие является подвидом контракта

(4) понятия "экземпляр класса" и "объект класса" эквивалентны

(5) клиент ПО является подвидом поставщика ПО

(6) инвариант класса является булевским условием

Пусть задано множества букв S1 = { а, о, к, м, п} и множество слов: S2 = {имя, мама, мак, потоп, папа, компас}. Укажите формулы теории предикатов, принимающих истинные значения. Здесь Forall обозначает квантор всеобщности, а Exist – квантор существования

(1) Forall s1: S1| s1 – гласная

(2) Exist s2: S2 |длина (s2) – простое число

(3) Forall s1: S1 | Exist s2: S2|s2 содержит s1

(4) Exist s1: S1 | Forall s2: S2| s2 содержит s1

(5) Exist s1: S1| s1 – гласная

Укажите корректное определение квалифицированного вызова:

(1) вызов называется квалифицированным, если его создал квалифицированный программист

(2) вызов x.f называется квалифицированным, если цель вызова x является квалифицированным объектом

(3) вызов называется квалифицированным, если он имеет форму x.f с явным указанием целевого объекта x

(4) вызов называется квалифицированным, если цель вызова явно не указана и ею является текущий объект

Оператор множественного выбора в языке Eiffel синтаксически имеет следующий вид: inspect choice-выражение when val_1 then составной оператор_1 when val_2 then составной оператор_2 … else составной оператор end Какие условия выполняются для choice-выражения и when-значений?

(1) выражение choice может быть целочисленным

(2) выражение choice может быть любого арифметического типа

(3) выражение choice может быть строкового типа

(4) выражение choice может быть символьного типа

(5) выражение when может быть значением, тип которого совпадает с типом выражения choice

(6) выражение when может задавать интервал значений, тип которых совпадает с типом выражения choice

(7) множества значений, задаваемые в различных when ветвях, могут пересекаться

Какие утверждения корректны о завершении программ?

(1) теорема о неразрешимости проблемы остановки утверждает, что невозможно доказать, что некоторая программа Р будет останавливаться на любом входе

(2) теорема о неразрешимости проблемы остановки утверждает, что не существует алгоритма, на вход которого подавалась бы любая программа Р и ее входные данные, а он бы определял, остановится ли Р на этих данных

(3) вариант цикла – это механизм, позволяющий доказывать завершаемость

(4) существуют завершающиеся программы, для которых формально не удается построить вариант и доказать завершаемость

Отношение "имеет" имеет две различные интерпретации: "содержит" и "знает". Для каких высказываний лучше подходит интерпретация "знает", чем "содержит"?

(1) компьютер имеет процессор

(2) компьютер имеет принтер

(3) каждый студент в группе имеет зачетку

(4) каждый домашний пес имеет хозяина

(Антропоморфизм) Какое устройство компьютера является аналогом зрения человека?

(1) монитор

(2) клавиатура

(3) микрофон

(4) видеокамера

(5) джойстик

Укажите корректные высказывания?

(1) программный объект – это коллекция данных, хранящихся в памяти компьютера

(2) программный объект можно рассматривать как машину, обеспечивающую выполнение команд и запросов

(3) каждый запрос является командой

(4) каждая команда является запросом

(5) метод может иметь аргументы

Укажите корректные высказывания?

(1) лексемы разделяются белыми пробелами

(2) белый пробел – это пробел белого цвета

(3) символ табуляции является подвидом белого пробела

(4) аргументы метода заключаются в круглые скобки

(5) синтаксические правила определяют, как создаются образцы из лексем, удовлетворяющих лексическим правилам

Укажите корректные высказывания?

(1) метод может иметь постусловия, которые задают финальные свойства, гарантируемые при завершении метода

(2) контракты используются для документирования, но не влияют на выполнение системы

(3) комментарии используются для документирования, но не влияют на выполнение системы

(4) предусловия, постусловия, инварианты являются примерами контрактов

(5) инварианты специфицируют согласованные условия, связывающие значения различных запросов класса

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

(1) если в булевском выражении e некоторое подвыражение u заменить на тавтологичное подвыражение v, то полученное после замены выражение e1 эквивалентно e

(2) таблица истинности для введенных полустрогих операций содержит 9 строк

(3) формула с квантором всеобщности Forall s: S | P(s) по определению имеет значение True, если S – пустое множество

(4) формула с квантором существования Exist s: S | P(s) по определению имеет значение True, если S – пустое множество

(5) False сильнее True

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

(1) ссылка либо присоединена к объекту, либо имеет значение void

(2) синтаксически оператор создания имеет вид create x, или, используя процедуру создания Q, специфицированную в классе, - create x.Q(arguments)

(3) в некоторые моменты выполнения системы возникает необходимость в явном создании текущего объекта

(4) Void ссылки всегда играют отрицательную роль и приводят к ошибкам выполнения

(5) вызов может быть квалифицированным, примененный к явно указанной цели, или неквалифицированный, примененный к текущему объекту

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

(1) управляющие структуры могут рассматриваться как приемы решения задач, сводя исходную, возможно сложную задачу, к совокупности более простых задач

(2) структурное программирование ввело принципы построения управляющих структур, основным из которых является принцип "одного входа и одного выхода"

(3) для доказательства корректности работы цикла используется инвариант цикла

(4) любой инвариант цикла годится для доказательства корректности цикла

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

(1) методы разделяются на две категории: функции, возвращающие результат, и процедуры, которые этого не делают

(2) скрытие информации облегчает разработку больших систем, повторное использование и гладкую эволюцию системы

(3) предусловие и постусловие не входят в интерфейс метода

(4) в подходе "снизу – вверх" уже созданный метод может повторно использоваться в разных программных системах

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

(1) присваивание является основным способом изменения значений переменных программы

(2) каждая функция является сущностью

(3) при ссылочном присваивании создается копия ссылки, но не копия связанного с ней объекта

(4) единственным способом, которым клиент устанавливает значения полей объекта, должен быть вызов (в любой синтаксической форме) экспортируемых сеттер-процедур