Обоснование и останавливаемость алгоритма F5 нахождения базиса Грёбнеракурсовая работа (Специалист)