نظرية الحاسوبية
نظرية الحاسوبية (بالإنجليزية: 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) في 12 يوليو 2018، اطلع عليه بتاريخ 23 أغسطس 2017.
- Conference on Logic, Computability and Randomness, January 10–13, 2007. نسخة محفوظة 24 أبريل 2016 على موقع واي باك مشين.
| العتاد | |
|---|---|
| بنية الأنظمة | |
| الشبكات | |
| بنية البرمجيات | |
| نظرية لغات البرمجة وأدواتها | |
| تطوير البرمجيات | |
| نظرية الحوسبة | |
| الخوارزميات | |
| رياضيات الحوسبة | |
| نظم المعلومات | |
| الأمن | |
| التفاعل الإنساني الحاسويبي |
|
| تزامن |
|
| الذكاء الاصطناعي |
|
| تعلم الآلة |
|
| رسوميَّات |
|
| الحوسبة التطبيقيَّة | |
| |
بوابة فلسفة
بوابة رياضيات
بوابة علم الحاسوب
بوابة منطق
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.