انتقل إلى المحتوى

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

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

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

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

انظر أيضاً

[عدل | عدل المصدر]

المراجع

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