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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
Bundesarchiv Bild 183-S1024-016, VEB Robotron Elektronik Dresden, Computer EC 1040.jpg

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

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

انظر أيضاً[عدل]

مراجع[عدل]

  1. ^ Soare, Robert Irving (22 ديسمبر 2011)، "Computability Theory and Applications: The Art of Classical Computability" (PDF)، Department of Mathematics، University of Chicago، مؤرشف من الأصل (PDF) في 12 يوليو 2018، اطلع عليه بتاريخ 23 أغسطس 2017.
  2. ^ Conference on Logic, Computability and Randomness, January 10–13, 2007. نسخة محفوظة 24 أبريل 2016 على موقع واي باك مشين.