Автоматизация конструкторско-технологического проектирования в вузах Красноярска Математика в информационных системах проект