2011-gre-cs-practice-book.pdf/Q25

Материал из DISCOPAL
Перейти к: навигация, поиск

Задача зарезервирована: Tiniakov.ad 12:01, 21 декабря 2024 (UTC)

Вопрос: Q25-08c765

Дан следующий псевдокод

// Precondition: ???
x <- x + y
y <- x - y
x <- x - y
// Postcondition: ((x == 3) and (y == 8))

Предполагая что x и y - целые числа, какое предусловие удовлетворяет данному постусловию?

Ответы

  • (x == 3) and (y == 8)
  • Правильный ответ: (x == 8) and (y == 3)
  • (x == 8) and (y == 11)
  • (x == 11) and (y == 3)
  • (x == 11) and (y == 8)

Объяснение

Исходники — вопрос 25 на 27 странице книги «2011-gre-cs-practice-book.pdf»

Пойдем от обратного:

3 <- x - 8 --> x == 11
8 <- 11 - y --> y == 3
11 <- x + 3 --> x == 8

Следовательно верный ответ (x == 8) and (y == 3)Check-me-animated.gif Решено: Tiniakov.ad 12:15, 21 декабря 2024 (UTC)

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.