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