Моделирование и формализация: краткое содержание курса 9 класса