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