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