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