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