Главная /
Инструменты, алгоритмы и структуры данных /
В контракт рекурсивного метода может входить инвариант метода. Какие утверждения справедливы относительно инварианта?
В контракт рекурсивного метода может входить инвариант метода. Какие утверждения справедливы относительно инварианта?
вопросПравильный ответ:
если инвариант существует, то его следует включать в описание метода как комментарий
если инвариант существует, то в описании метода он может быть задан как формальными булевскими выражениями, так и в виде комментария
инвариант должен включаться в предусловие и постусловие метода
та часть инварианта, которая задана формальными булевскими выражениями, должна включаться в предусловие и постусловие метода
та часть инварианта, которая задана комментарием, не должна включаться в предусловие и постусловие метода
Сложность вопроса
63
Сложность курса: Инструменты, алгоритмы и структуры данных
89
Оценить вопрос
Комментарии:
Аноним
Большое спасибо за ответы по intuit.
15 апр 2020
Аноним
Если бы не опубликованные подсказки - я бы не осилил c этими тестами интуит.
18 дек 2018
Другие ответы на вопросы из темы программирование интуит.
- # Рассмотрим конечное множество из пяти элементов. Пусть на этом множестве задано отношение r, содержащее только одну пару элементов. Сколько различных топологически отсортированных отношением r последовательностей можно построить?
- # Реализация алгоритма топологической сортировки включала такой прием, как предварительная трансляция исходных данных в форму, удобную для эффективной реализации алгоритма. Что справедливо о применении этого приема в других программистских задачах? Этот прием следует применять:
- # Историю программирования и людей, делающих эту историю, следует знать. Укажите авторов первого объектно-ориентированного языка Симула?
- # Программная система разрабатывается коллективом программистов. Этот процесс проистекает во времени. Программисты разрабатывают некоторое множество модулей. В модули вносятся изменения. Эти различные аспекты разработки могут приводить к ошибкам при построении сборки системы. На какие вопросы должна отвечать система конфигурирования:
- # Представим себе, что при определении ссылочного класса PERSON заданы два атрибута (поля класса) mother и father класса PERSON. Какие утверждения справедливы относительно порождения объектов этого класса?