Piter Denningning so'zlariga ko'ra, informatikaning asosiy savollari quyidagicha: nima samarali avtomatlashtirilgan bo'lishi mumkin? Algoritmlar nazariyasining o'rganilishi, hisoblash mumkin bo'lgan narsalar va bu hisoblash uchun qancha resurslar kerakligi haqidagi asosiy savollarga javob topishga qaratilgan. Birinchi savolga javob berish uchun hisoblash nazariyasida turli nazariy hisoblash modellarida yechiladigan hisoblash vazifalari ko'rib chiqiladi. Ikkinchi savol hisoblash murakkabligi nazariyasiga bag'ishlangan; bu nazariya ko'plab hisoblash vazifalarini hal qilishda turli algoritmlarning vaqt va xotira sarfini tahlil qiladi.
Hisoblash vazifalari qayerda hal qilinadi?
turli nazariy hisoblash modellarida