See Me Mama

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.