Зайцев Дмитрий Владимирович, преподаватель курса Формальные модели аргументациипреподавание учебного курса