Text this: Логические методы синтеза оптимальных корректоров эвристических алгоритмов