Эффективная реализация логических алгоритмов распознаваниятезисы доклада