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