Daripada Wikipedia, ensiklopedia bebas.
Teori pengiraan ialah bidang dalam sains komputer yang mengkaji mana satu masalah-masalah yang boleh diselesaikan melalui pengiraan komputer dan menggunakan model-model pengiraan yang berlainan.
Teori pengiraan berlainan dengan disiplin terdekatnya iaitu teori kompleksiti, yang berurusan dengan persoalan sejauh mana kecekapan masalah-masalah boleh diselesaikan, sedangkan teori komputasi berurusan dengan persoalan sama ada masalah tersebut boleh diselesaikan atau tidak.