Valeriy Ganov

Vychisleniya s orakulami

konstruktivizatsiya kvazi-algoritmicheskikh ponyatiy

• Broschiertes Buch

Produktbeschreibung

Vychisleniya s orakulami zadayutsya posredstvom abstraktnykh vychislitel'nykh mashin, programmy kotorykh soderzhat spetsial'nye sprashivayushchie komandy, pozvolyayushchie osushchestvlyat' nekotorye nealgoritmicheskie akty. V rezul'tate voznikaet yazyk programmirovaniya, kotoryy - khorosho prisposoblen dlya modelirovaniya mnogikh kvazi-algoritmicheskikh konstruktsiy, vstrechayushchikhsya v matematike - yavlyaetsya osobym instrumentom dlya resheniya raznoobraznykh filosofskikh voprosov v matematike; - pozvolyaet sozdavat' raznye situatsii, analogichnye tem, kotorye vstrechayutsya v sovremennoy kom p'yuternoy nauke; - mozhet sluzhit' obshchey formoy opisaniya i sravneniya mnogikh drugikh abstraktnykh vychisleniy. Dannaya kniga soderzhit dostatochno polnyy i glubokiy kurs po vychisleniyam s orakulami i mozhet sluzhit' khoroshim posobiem dlya aspirantov matematicheskikh spetsial'nostey.

Produktdetails

• Verlag: Palmarium Academic Publishing
• Seitenzahl: 172
• Russisch
• Abmessung: 220mm x 150mm
• ISBN-13: 9783847399452
• ISBN-10: 3847399454
• Artikelnr.: 40841900

Autorenporträt

Ganov Valeriy Aleksandrovich, doktor fiziko-matematicheskikh nauk, professor kafedry algebry i matematicheskoy logiki Altayskogo gosudarstvennogo universiteta, g.Barnaul. Nauchnye interesy: obshchaya teoriya rekursii, osnovaniya matematiki. Avtor 65 nauchnykh rabot.