Математическое определение алгоритма