Алгоритм Тарского

Main
Computers
Алгоритм Тарского

Алгоритм Тарского

Матиясевич Ю.В.

0 / 0

0 comments

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

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

Categorías:

Computers

Año:

2008

Idioma:

russian

Páginas:

Archivo:

PDF, 500 KB

IPFS:

russian, 2008

Leer en línea