При решении задач на "программирование в малом" оправдано применение различных методов разработки программ типа:

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

• # В языке Java каждый существующий класс неявно наследует класс:
• # В римской системы счисления цифры в записи числа следуют, как правило, в порядке:
• # Под внешней памятью подразумеваются такие носители информации, как:
• # Какую функцию надо взять в качестве ограничивающей, чтобы правильность данной программы:public class Gcd { public static void main(String[] args) throws Exception { int x = Xterm.inputInt("x -> "); int y = Xterm.inputInt("y -> "); Xterm.print("gcd(" + x + "," + y + ") ="); while ( (x != 0) && (y != 0) ) { if (x >= y) x -= y; else y -= x; } Xterm.println(" " + (x+y)); } }легко могла быть доказана:
• # Если предусловие Q имеет вид T, то в этом случае инвариант можно строить только исходя из: