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