Попов Владимир Михайлович, преподаватель курса Разрешающие методы в логических системахпреподавание учебного курса