النظرية الحسابية أو نظرية الحسابات أو النظرية الاحتسابية Theory of Computation في علم الحاسوب يدرس إمكانية حل المسائل المطروحة بكفاءة بوساطة حاسوب ويدرس ما يمكن للحاسوب ان يقوم باحتسابة حاليا وإمكانية تطوره في المستقبل .
In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm.