Шехтман Валентин Борисович, преподаватель курса Математическая логика и алгоритмыпреподавание учебного курса