Коновалов Александр Юрьевич, преподаватель курса Вычислимость и неклассические логикипреподавание учебного курса