Hesaplama kuramı, bilgisayarların matematiksel özelliklerini inceleyen bir bilim dalıdır 1. Bu kuram, üç ana alana ayrılır:
- Karmaşıklık Teorisi: Problemlerin zorluk derecelerine göre sınıflandırılmasını ve çözümlerinin ne kadar kaynak gerektirdiğini inceler 13.
- Hesaplanabilirlik Teorisi: Problemlerin çözülebilir veya çözülemeyen olarak sınıflandırılmasını araştırır 14.
- Otomat Teorisi: Çeşitli hesaplama modellerinin tanımları ve özellikleri ile ilgilenir 15.
Bu teori, Turing makineleri gibi soyut modeller kullanarak bilgisayarların çalışma prensiplerini anlamaya yardımcı olur 4.
5 kaynaktan alınan bilgiyle göre: