Проблема обоснования качества классов алгоритмов с универсальными ограничениями монотонностидиссертация