Menurut Peter Denning, pertanyaan mendasar yang mendasari ilmu komputer adalah, "Apa yang dapat (efisien) otomatis?" Teori komputasi difokuskan untuk menjawab pertanyaan mendasar tentang apa yang dapat dihitung dan berapa banyak sumber daya yang diperlukan untuk melakukan perhitungan tersebut. Dalam upaya untuk menjawab pertanyaan pertama, teori komputasi meneliti masalah komputasi yang dapat diselesaikan pada berbagai model teoritis komputasi. Pertanyaan kedua ditangani oleh teori kompleksitas komputasi, yang mempelajari biaya waktu dan ruang yang terkait dengan berbagai pendekatan untuk memecahkan banyak masalah komputasi. Pertanyaan: Apa perspektif Peter Denning tentang ilmu komputer?
"Apa yang bisa (efisien) otomatis?"