9кл контролная работано1 по теме моделирование и формализатсия