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

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

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

انظر أيضاً 
 روبن غاندي
 مجموعة قابلة للحساب

مراجع 

تحسيب
علم الحاسوب
منطق رياضي
نظرية قابلية الحساب