Kafedra Avtomatizatsii i kompyuternykh sistem, Natsionalny gorny universitet