Для натурального числа необходимо найти максимальное натуральное число, не превосходящее , имеющее максимальное количество делителей, являющихся числами. Для таким числом является …

Математическая модель (а также программа; зависит от того, что понимать под этапом формализации).

В учебнике выделяют такие этапы решения задачи на компьютере:

Исходные данные (результат - словесная информационная модель)Формализация (математическая модель)Алгоритмизация (алгоритм)Программирование (программа)Отладка, тестирование (уточнение модели)Выполнение расчетов (получение результатов)

Нормальные люди понимают, что после формализации информация должна быть представлена на формальном языке, таких языком может быть как математический, так и язык программирования.

 XYY
-YYX

 ZXZ

Y-Y в среднем разряде, конечно же, даст 0. Можно ли считать, что Х=0? Нет, по условию X>Y, а Y не может быть отрицательным. Остается предположить, что от Y для вычитания в младшем разряде "заняли единичку", а для вычитания в среднем разряде тоже "заняли единичку" в старшем разряде. В семиричной системе единичка - это 7 (как и в десятичной - 10). Получаем следующие соотношения:
Y+7-X=Z младший разряд
Y+7-1-Y=X средний разряд ⇒ X=6
X-Y-1=Z старший разряд

Подставляем 6 вместо Х в остальные соотношения
Y+7-6=Z; Y+1=Z
6-Y-1=Z; 5-Y=Z
Правые части равны Z, приравниваем левые части
Y+1=5-Y; 2Y=4 ⇒ Y=2

Осталось найти Z: Z=Y+1; Z=2+1 ⇒ Z=3

Итак, X=6, Y=2, Z=3.
YYX=226₇, XYY=622₇, ZXZ=363₇
622₇ - 226₇ = 363₇ - это расшифрованный пример.