Лекция 3. И.Г. Лысёнок. Алгоритмические вопросы алгебры.