Контрольная работа моделирование и формализация 1 вариант