Статьи журнала - Компьютерная оптика

Все статьи: 2382

Эффективный алгоритм определения истинности утверждений о действительных числах в сигнатуре отношений порядка

Эффективный алгоритм определения истинности утверждений о действительных числах в сигнатуре отношений порядка

Коварцев Александр Николаевич

Статья научная

В статье предлагается новый эффективный алгоритм определения истинности утверждений о действительных числах в сигнатуре отношений порядка. В отличие от известного алгоритма А. Тарского, предложенный алгоритм сводит переборную задачу проверки истинности любого утверждения о вещественных числах к оптимизационной задаче. В новой версии алгоритма могут использоваться не только алгебраические, но и трансцендентные функции.

Бесплатно

Юрий Иванович Журавлев

Юрий Иванович Журавлев

Персоналии

Бесплатно

Журнал