نظرية الحسوبية
«نظرية حُلُوْلِيّة مسائل التحسيب» التي تُعْرَف أيضاً بـنظرية الحسوبية (computability theory) هي أحد فروع المعلوماتية النظرية (theoretical computer science) التي تدرس مسائل قابلة للحل حاسوبيا (computationally solvable) باستخدام نماذج مختلفة للتحسيب .
نظرية الحسوبية تختلف عن المجالات المشابهة لنظرية التعقيد الحسابي (computational complexity theory) ، فالأخيرة تتعامل مع سؤال كيفية حل المسألة حاسوبيا بفعالية ، بدل من سؤال إذا كانت المسألة قابلة لحلّ (solvable) أم لا الذي تتناوله نظرية الحسوبية .
مصادر
- Maribel Fernández et al.: Models of computation : an introduction to computability theory. Springer, Dodrecht 2009, ISBN 978-1-84882-433-1
