نظرية الحسبانية

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

نظرية الحاسوبية (بالإنكليزية: computability theory) وتعرف أيضاً بالنظرية العودية وأيضا بنظرية الاستدعاء الذاتي (بالإنكليزية: Recursion theory) هي أحد فروع المعلوماتية النظرية تم تأسيسه في عام 1930 theoretical computer science التي تدرس مسائل قابلة للحلحلة حاسوبيا computationally solvable باستخدام نماذج مختلفة للتحسيب .

نظرية الحاسوبية تختلف عن التخصصات المشابهة لنظرية التعقيد الحسابي computational complexity theory ، فالأخيرة تتعامل مع سؤال كيفية حل المسألة حاسوبيا بفعالية ، بدلا من سؤال إذا كانت المسألة قابلة للحل حاسوبيا أم لا؟ solvableالذي تتناوله نظرية الحاسوبية .