Попов Владимир Михайлович, преподаватель курса Логика и исчисление предикатовпреподавание учебного курса