Язык, на котором можно строго сформулировать постановку задачи и доказать правильность конкретной программы - это:

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

• # В римской системы счисления цифры в записи числа следуют, как правило, в порядке:
• # Хорошей идеей является попытка использования их для проекций ребер и граней:
• # Язык Java предусматривает следующие операторы цикла:
• # Дополнительными средствами, используемыми при организации циклов, являются операторы:
• # Данная программа:public class FactIv1 { public static void main(String[] args) throws Exception { int n, i, k; n = Xterm.inputInt("Введите n -> "); i = k = 1; while (i <= n) { k *= i; i += 1; } Xterm.println("" + n + "! = " + k); } }вычисляет: