Верещагин Николай Константинович, преподаватель курса Математическая логика и сложность вычисленийпреподавание учебного курса