Формализация и моделирование Наталья Александровна Карпова к.т.н., доцент - скач Выберите знаковую модель формула схема