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

Скачать книгу бесплатно (pdf, 500 Kb)

---

Читать «Алгоритм Тарского»