Алгоритм Тарского
Ключевые слова:
Алгоритм Тарского, разрешимость элементарной алгебры и геометрии, элиминация кванторовАннотация
Алгоритм Тарского позволяет установить истинность или ложность любого утвержения про конечное количество вещественных чисел. Вместе с методом координат Декарта это позволяет автоматически доказывать широкий класс теорем элементарной геометрии. Изложенный здесь вариант алгоритма предназначен для первоначального знакомства с этой областью - его нетрудно понять, несложно запрограммировать, но полученная программа будет крайне неэффективной.Загрузки
Опубликован
21.01.2014
Выпуск
Раздел
Новая статья
Лицензия
Материал публикуется под лицензией:
Как цитировать
[1]
«Алгоритм Тарского», Компьютерные инструменты в образовании, вып. 6, янв. 2014, просмотрено: июл. 24, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1157
