Моделируя классы " Животные" и " Кошки" описывающие мир животных, следует полагать, что:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Пусть P(x,z) - метод P с входными аргументами x и выходными z , и пусть P(x,z) корректен (полностью, или тотально) по отношению к предусловию Pre(x) и постусловию Post(x,z) . Какие высказывания истинны по отношению к тотально корректному методу P :
• # Для доказательства корректности цикла, как правило, используется понятие инварианта цикла. Какие утверждения являются справедливыми для этого понятия:
• # Пусть дано описание класса и структуры с одинаковым набором полей public class One { public string s; public int n; public One(string s, int n) { this.s = s; this.n = n;}} public struct Two { public string s; public int n; public Two(string s, int n) { this.s = s; this.n = n;}} Пусть в клиентском классе созданы объекты One cx = new One("Петров", 5), cy = new One("Петров", 5), cz = new One("Миронов", 4); Two sx = new Two("Петров", 5), sy = new Two("Петров", 5), sz = new Two("Миронов", 4); int res = 0; Отметьте операторы, не приводящие к ошибкам на этапе компиляции или выполнения:
• # Отношение "клиент - поставщик" является транзитивным отношением. Транзитивность означает:
• # Атрибуты и объекты. Какие высказывания являются истинными