2042 год уже пять лет с момента, как человечество вернуло себе контроль над машинами. лейтенант отдела по борьбе с киберугрозой заподозрил, что кто-то из трёх его виртуальных заражён вирусом и из-за этого выдаёт только ложные сообщения. возможно, атаке подверглись сразу несколько . для проверки лейтенант поручил каждому из трёх проверить все файлы у остальных. вот какие доклады были в итоге получены лейтенантом:
r49x: k9q1 заражён.
k9q1: hno3 заражён.
hno3: r49x и k9q1 заражены.
лейтенанту определить, кому можно доверять, а кому — нет.
Математическая модель (а также программа; зависит от того, что понимать под этапом формализации).
В учебнике выделяют такие этапы решения задачи на компьютере:
Исходные данные (результат - словесная информационная модель)Формализация (математическая модель)Алгоритмизация (алгоритм)Программирование (программа)Отладка, тестирование (уточнение модели)Выполнение расчетов (получение результатов)Нормальные люди понимают, что после формализации информация должна быть представлена на формальном языке, таких языком может быть как математический, так и язык программирования.