расчетно графическая работа

написать расчетно графическую файлу в ворде, задание: Написать структурированную программу и доказать ее правильность по определению семантики структурированных программ. Проверить, можно ли из одиннадцатеричной записи числа х отбросить несколько последних цифр так, чтобы оно стало совершенным. Использовать s - прибавление 1, сравнения (, ≤, ≥, ==, !=, !), +, -, x, : - целочисленное деление, % - остаток от деления. Также есть условия выполнения: Программа должна быть написана на структурированном языке про- граммирования, который изучался на лекциях. В частности: • запрещены другие языки; • есть только присваивание, цикл while, полное и неполное ветвле- ние; • нет цикла for, операторов break и continue, ветвления switch и т. п.; • нет подпрограмм; • нет логических операций; • нет массивов; • оператор returns не может стоять в произвольном месте програм- мы. 2. Разрешается использовать только те операции, которые указаны в ва- рианте. Использование других операций запрещено. 3. Предметной областью являются натуральные числа ω = {0, 1, 2, . . . }. В частности: • вычитание является усечённым, то есть a−b = 0 при a < b; • деление является целочисленным, то есть a : b есть целая часть от деления a на b. 4. В структурированном языке программирования рабочие переменные алгоритма не имеют начальных значений по умолчанию, поэтому все рабочие переменные должны инициализироваться явно. 5. После слова arguments перечисляются только входные переменные. 6. Допускается написание неэффективных программ. За неэффективную, но правильную программу ставятся полные баллы. 7. В начале должны быть написаны номер варианта и условие задач Начинаем мы эту программу так: algorithm ….. (название) arguments (какие аргументы, например x,y): returns z дальше мы писали (но это в зависимости от условия) и сама программа доказывали, используя греческие сигма, дельта и тд, и с помощью мат индукции ПРИМЕР КАК ДОЛЖНО ВЫГЛЯДЕТЬ ЕСТЬ