Razrabotka metodow obosnowaniq gipotez formal'nyh teorij
Nikolaj Glazunov
Broschiertes Buch

Razrabotka metodow obosnowaniq gipotez formal'nyh teorij

Algebraicheskie mnogoobraziq, geometriq chisel, prilozheniq

Versandkostenfrei!
Versandfertig in 6-10 Tagen
53,99 €
inkl. MwSt.
PAYBACK Punkte
27 °P sammeln!
Cel' nastoyashhej nebol'shoj knigi - vvesti chitatelya v obshirnuju oblast' issledovanij, posvyashhennuju obosnovaniju gipotez formal'nyh teorij s ispol'zovaniem komp'juternyh metodov. Ona formiruetsya shest' poslednih desyatiletij na osnove matematicheskoj logiki, teorii chisel, algebry, algebraicheskoj geometrii, analiza, chislennyh metodov i komp'juternyh nauk. Sredi teoretiko-chislovyh, algebraicheskih i arifmetiko-geometricheskih ob#ektov, izuchaemyh v knige, prisutstvujut formal'nye sistemy, diofantovy uravneniya, algebraicheskie krivye, prostranstva modulej, kriticheskie reshetki i opre...