Peter Denning teigimu, pagrindinis kompiuterinių mokslų klausimas yra "Kas gali būti (veiksmingai) automatizuotas?" Apskaičiavimo teorija yra orientuota į atsakymus į pagrindinius klausimus apie tai, ką galima apskaičiuoti ir kokio kiekio išteklius reikia atlikti šiuos skaičiavimus. Norint atsakyti į pirmąjį klausimą, skaičiavimo teorija nagrinėja, kurios skaičiavimo problemos yra išsprendžiamos pagal įvairius teorinius skaičiavimo modelius. Antras klausimas nagrinėjamas skaičiavimo sudėtingumo teorija, kuri tiria laiko ir erdvės sąnaudas, susijusias su skirtingais skaičiavimo problemų sprendimo metodais.
"Ką galima (veiksmingai) automatizuoti?"