Nazariy informatika[tahrir | manbasini tahrirlash]
Nazariy kompyuter fanlari matematik va mavhum ruhdadir, lekin u oʻz motivatsiyasini amaliy va kundalik hisoblashdan oladi. Uning maqsadi hisoblashning mohiyatini tushunish va bu tushunish natijasida yanada samarali metodologiyalarni taqdim etishdir.
Hisoblash nazariyasi[tahrir | manbasini tahrirlash]
Piter Denningning soʻzlariga koʻra, kompyuter fanining asosiy savoli: „Nimani avtomatlashtirish mumkin?“[57] Hisoblash nazariyasi nimani hisoblash mumkinligi va bu hisob-kitoblarni bajarish uchun qancha resurslar talab qilinishi haqidagi asosiy savollarga javob berishga qaratilgan. Birinchi savolga javob berishga harakat qilib, hisoblash qobiliyati nazariyasi hisoblashning turli nazariy modellarida qaysi hisoblash muammolarini echish mumkinligini tekshiradi. Ikkinchi savol koʻplab hisoblash muammolarini hal qilishda turli yondashuvlar bilan bogʻliq vaqt va makon xarajatlarini oʻrganadigan hisoblash murakkabligi nazariyasi tomonidan koʻrib chiqiladi.
Mashhur P = NP?Mingyillik mukofoti muammolaridan biri[58] muammosi hisoblash nazariyasidagi ochiq muammodir.
