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