Гуров Сергей Исаевич, преподаватель курса Решение булевских уравнений и проблема выполнимостипреподавание учебного курса