Hesaplanabilirlik teorisi
Teorik bilişim biliminde ve matematikte hesaplanabilirlik teorisi (İng. '), belirli bir hesap modeline ait soruların uygun bir komut silsilesi ile ne kadar verimli bir şekilde çözülebileceğiyle ilgilenen daldır. Alan, üç yan ana dala ayrılmaktatır.