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