Алгоритм Тарского
Матиясевич Ю.В.
Алгоритм Тарского позволяет установить истинность или ложность любого утверждения про конечное количество вещественных чисел. Вместе с методом координат Декарта это позволяет автоматически доказывать широкий класс теорем элементарной геометрии. Изложенный здесь вариант алгоритма предназначен для первоначального знакомства с этой областью - его нетрудно понять, несложно запрограммировать, но полученная программа будет крайне неэффективной
Litres
Vuole aggiungere una libreria? Contattaci su support@z-lib.do
Converti i file
Più risultati di ricerca
Altri vantaggi 
Termini più frequenti
Liste di libri correlati
