نظرية الحسوبية
(بالتحويل من نظرية الحاسوبية)
نظرية الحاسوبية (بالإنجليزية: computability theory) وتعرف أيضاً بالنظرية العودية وأيضا بنظرية الاستدعاء الذاتي (بالإنجليزية: Recursion theory) وهي أحد فروع المعلوماتية النظرية تم تأسيسه في عام 1930م theoretical computer science والتي تدرس مسائل قابلة للحل حاسوبيا computationally solvable باستخدام نماذج مختلفة للحوسبة.[1][2]
نظرية الحاسوبية تختلف عن التخصصات المشابهة لنظرية التعقيد الحسابي computational complexity theory ، فالأخيرة تتعامل مع سؤال كيفية حل المسألة حاسوبيا بفعالية، بدلا من سؤال إذا كانت المسألة قابلة للحل حاسوبيا أم لا؟ solvable الذي تتناوله نظرية الحاسوبية.
انظر أيضاً
[عدل]المراجع
[عدل]- ^ 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.
- ^ Conference on Logic, Computability and Randomness, January 10–13, 2007. نسخة محفوظة 24 أبريل 2016 على موقع واي باك مشين.
يعتمد هذا القالب على تصنيف أنظمة الحوسبة الذي أنجزته جمعية آلات الحوسبة في عام 2012 | |
| العتاد | |
| بنية الأنظمة | |
| الشبكات | |
| بنية البرمجيات | |
| نظرية لغات البرمجة وأدواتها | |
| تطوير البرمجيات | |
| نظرية الحوسبة | |
| الخوارزميات | |
| رياضيات الحوسبة | |
| نظم المعلومات | |
| الأمن | |
| التفاعل الإنساني الحاسويبي | |
| تزامن | |
| الذكاء الاصطناعي | |
| تعلم الآلة |
|
| رسوميَّات | |
| الحوسبة التطبيقيَّة | |
في كومنز مواد ذات صلة بـ نظرية الحسوبية.
