Sayansi ya tarakilishi
Kulingana na Peter Denning, swali la msingi linalohusu sayansi ya kompyuta ni, "Ni nini kinachoweza kuwa otomatiki?" Nadharia ya ukokotoaji inalenga kujibu maswali ya kimsingi kuhusu kile kinachoweza kukokotwa na ni kiasi gani cha rasilimali kinachohitajika kutekeleza hesabu hizo. Katika jitihada za kujibu swali la kwanza, nadharia ya upatanifu huchunguza ni matatizo yapi ya kikokotozi yanaweza kusuluhishwa kwenye miundo mbalimbali ya kinadharia ya ukokotoaji. Swali la pili linashughulikiwa na nadharia ya ugumu wa hesabu, ambayo inasoma gharama za muda na nafasi zinazohusiana na mbinu tofauti za kutatua matatizo mengi ya computational.