МОДЕЛИРОВАНИЕ И ФОРМАЛИЗАЦИЯ 1 Модель упрощенное Примеры систем в информатике