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 opredeliteli. Priveden ryad sovremennyh konstrukcij, pozvolyajushhih komp'juternoe issledovanie jetih ob#ektov. Izlozhenie sleduet ne vkusam i interesam avtora, a celyam obosnovaniya gipotez, voznikshih pri issledovanii klassicheskih problem. V knige izlagajutsya kak nachal'nye, tak i fundamental'nye rezul'taty geometrii chisel i teorii algebraicheskih mnogoobrazij. Kniga soderzhit otkrytye problemy i otvechajushhie im gipotezy.
Bitte wählen Sie Ihr Anliegen aus.
Rechnungen
Retourenschein anfordern
Bestellstatus
Storno