Формализация в информатике для 9 класса: объяснение и примеры