Kniga "Vwedenie w teoriü wychislenij" predlagaet wsestoronnij obzor osnowopolagaüschih koncepcij w oblasti wychislenij. V nachale knigi daetsq opredelenie wychislenij kak processa wypolneniq posledowatel'nosti operacij na osnowe algoritmow dlq dostizheniq opredelennyh rezul'tatow, ohwatywaüschih kak estestwennye, tak i iskusstwennye processy. Rassmatriwaetsq istoricheskoe razwitie wychislenij, nachinaq s rannih wychislitel'nyh ustrojstw, takih kak abakus, i zakanchiwaq poqwleniem mehanicheskih i älektronnyh komp'üterow, wydelqq takie klüchewye wehi, kak izobretenie tranzistora i razwitie Interneta. V glawe predstawleny takie wazhnye ponqtiq, kak algoritmy, struktury dannyh i formal'nye qzyki, a takzhe modeli wychislenij, wklüchaq konechnye awtomaty, wytesnqüschie awtomaty i mashiny T'üringa.