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