Stav dette: Математические вопросы разработки автоматизированной системы управления ТЗММ