نظرية الحاسوبية (computability theory) وتعرف أيضاً بالنظرية العودية وأيضا بنظرية الاستدعاء الذاتي (Recursion theory) وهي أحد فروع المعلوماتية النظرية تم تأسيسه في عام 1930م theoretical computer science والتي تدرس مسائل قابلة للحلحلة حاسوبيا computationally solvable باستخدام نماذج مختلفة للحوسبة.[1][2]
نظرية الحاسوبية تختلف عن التخصصات المشابهة لنظرية التعقيد الحسابي computational complexity theory ، فالأخيرة تتعامل مع سؤال كيفية حل المسألة حاسوبيا بفعالية، بدلا من سؤال إذا كانت المسألة قابلة للحل حاسوبيا أم لا؟ solvable الذي تتناوله نظرية الحاسوبية.
انظر أيضاً
مراجع
- Soare, Robert Irving (22 December 2011). "Computability Theory and Applications: The Art of Classical Computability" ( كتاب إلكتروني PDF ). Department of Mathematics. University of Chicago. مؤرشف من الأصل ( كتاب إلكتروني PDF ) في 12 يوليو 201823 أغسطس 2017.
- Conference on Logic, Computability and Randomness, January 10–13, 2007. نسخة محفوظة 24 أبريل 2016 على موقع واي باك مشين.