Алгоритм Тарского
Матиясевич Ю.В.
Алгоритм Тарского позволяет установить истинность или ложность любого утверждения про конечное количество вещественных чисел. Вместе с методом координат Декарта это позволяет автоматически доказывать широкий класс теорем элементарной геометрии. Изложенный здесь вариант алгоритма предназначен для первоначального знакомства с этой областью - его нетрудно понять, несложно запрограммировать, но полученная программа будет крайне неэффективной
Kategorien:
Jahr:
2008
Sprache:
russian
Seiten:
11
Datei:
PDF, 500 KB
IPFS:
,
russian, 2008
Litres
Möchten Sie Ihren Buchladen hinzufügen? Kontaktieren Sie uns unter support@z-lib.do
Konvertieren Sie Dateien
Mehr Suchergebnisse
Andere Vorteile 
Am meisten angefragte Begriffe
Verbundene Bücherlisten
