Hesaplama teorisi (Theory of computation) bilgisayar biliminin bir problemin belirli bir algoritma ve hesap modeli ile çözülüp çözülemeyeceğini veya çözülürse ne kadar hızlı ve verimli bir şekilde çözüleceğini inceleyen bilim dalıdır. Başlıca 2 dala ayrılır: Karmaşıklık Teorisi (Complexity Theory) ve Hesaplanabilirlik Teorisi (Computability Theory). Karmaşıklık teorisi genelde karar verme problemleri (decision problems) ile uğraşır. Karar>>>
