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