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

من ويكيبيديا، الموسوعة الحرة

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

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