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