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

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

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

ملف:Nuvola apps edu mathematics-ar.svg

بوابة رياضيات تصفح مقالات ويكيبيديا المهتمة بالرياضيات.

as:কম্পিউটেবিলিটি থিয়ৰী bn:গণনীয়তা তত্ত্ব (কম্পিউটার বিজ্ঞান) ca:Teoria de la computabilitat cs:Teorie vyčíslitelnosti de:Berechenbarkeitstheorie Computability theory]] es:Teoría de la computabilidad fa:نظریه رایانش‌پذیری he:תורת הרקורסיה hr:Teorija izračunljivosti (računarstvo) it:Teoria della calcolabilità ja:計算可能性理論 ko:계산 가능성 이론 pl:Teoria obliczalności ru:Теория вычислимости sh:Teorija izračunljivosti (računarstvo) simple:Computability theory sk:Teória vypočítateľnosti th:ทฤษฎีการคำนวณได้ uk:Теорія обчислень zh:可计算性理论