النظرية الحسابية أو نظرية الحسابات أو النظرية الاحتسابية Theory of Computation في علم الحاسوب يدرس إمكانية حل المسائل المطروحة بكفاءة بوساطة حاسوب ويدرس ما يمكن للحاسوب ان يقوم باحتسابة حاليا وإمكانية تطوره في المستقبل .