Тема публикации - преподавание математики с компьютерной поддержкой. Рассматривается опыт проведения факультативных занятий по теме ''Алгебра и начала анализа'', качественно отличающихся от прежних тем, что в работе были использованы сборники задач на основе программной среды ''Verifier''
