Предикат, описывающий максимально сильные ограничения на состояние переменных программы S, которые могут быть получены при данном предусловии Q:

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

• # Основные свойства любого алгоритма — это:
• # В качестве основы для создания простейшего графического интерфейса используются:
• # Проверка истинности предикатов в процессе выполнения программы в различных языках программирования реализована:
• # Программу, находящая сумму s элементов заданного целочисленного массива b[0..n-1], элементы которого и величину n изменять нельзя будет иметь вид:
• # Данная программа:public class First1{ public static void main(String[] args) throws Exception { int x0 = Xterm.inputInt("x0 ->"); int y1 = 0, y2 = 0; try { while (true) { int x = Xterm.inputInt("x -> "); y2 += 1; if ( (y1 == 0) && (x == x0) ) y1 = y2; } } catch (Exception e) { Xterm.println("\nn = " + y1); } } }по достижению конца вводимой последовательности: