Формализация и моделирование Наталья Александровна Карпова к.т.н., доцент скач