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