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

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

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

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

روبن غاندي

مراجع[عدل]

^ Soare، Robert Irving (22 December 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 على موقع واي باك مشين.

ع ن ت الحقول الأساسية في علم الحاسوب

العتاد	اللوحات المطبُوعة التجهيزات المُحيطيّة الدارات المُتكاملة الدارات فائقة التكامل الحوسبة الخضراء أتمتة التصميم الإلكتروني

تصنيف أنظمة الحاسب	بُنيّة الحاسب الأنظمة المُدمجة الحوسبة في الزمن الحقيقيّ جدارة النظام الحاسوبيّ

الشبكات	نموذج عمل الشبكة البروتوكولات عتاد الشبكة الجدولة أداء الشبكات خدمات الشبكة

تنظيم البرمجيات	المُفسّرات برمجيات وسيطة الآلات الافتراضيّة أنظمة التشغيل جودة البرمجيّات

نظرية لغات البرمجة وأدواتها	أنماط البرمجة لغات البرمجة المُترجمات اللغات مُخصصة النطاق (DSL) لغات النمذجة إطارات العمل بيئة التطوير المُتكاملة (IDE) إدارة تهيئة البرمجيات المكتبات البرمجيّة المُستودعات البرمجيّة

تطوير البرمجيّات	عملية تطوير البرمجيات تحليل المُتطلبات بناء البرمجيّات نشر البرمجيّات صيانة البرمجيات فريق البرمجة البرمجيات مفتُوحة المصدر

نظريّة الحوسبة	نموذج الحوسبة لغات شكليّة نظريّة التشغيل الذاتيّ نظريّة التعقيد منطق الحاسب علم الدلالة الشكلي

الخوارزميّات	تصميم الخوارزميّات تحليل الخوارزميّات الخوارزميّات العشوائيّة هندسة حسابيّة

رياضيّات الحوسبة	الرياضيّات المُتقطّعة الاحتمالات الرياضيّة الإحصاء الرياضيّ برمجيّات رياضيّة نظرية المعلومات التحليل الرياضيّ التحليل العدديّ

نظم المعلُومات	قواعد بيانات وسائط تخزين نظم المعلومات المُؤسساتيّة البرمجيّات الاجتماعيّة نظم المعلُومات الجُغرافيّة نظم دعم القرارات التحكّم بالعمليّات قواعد بيانات الوسائط المتعددة التنقيب عن البيانات المكتبات الرقميّة التسويق الرقميّ الويب استرجاع المعلومات

أمن الحاسوب	التشّفير الأساليب الشكليّة الخدمات الأمنيّة أنظمة كشف التسلل أمن العتاد أمن الشبكات أمن المعلومات أمن التطبيقات

تفاعل إنساني حاسوبي	التصميم التفاعليّ الحوسبة الاجتماعيّة الحوسبة السائدة التصوّر إمكانيّة الوصول للحاسب

التزامن	الحوسبة المُتزامنة الحوسبة التفرعيّة الحوسبة المُوزّعة خاصيّة التشعّب المُعالجة المُتعددة

الذكاء الصنعيّ	مُعالجة اللغات الطبيعيّة التمثيل المعرفيّ الرؤيّة الحاسوبيّة الجدولة والتخطيط الآليين نظريّة التحكّم فلسفة الذكاء الصُنعيّ الذكاء الصنعي المُوزّع

تعلّم الآلّة	التعلّم بالإشراف التعلّم بدون إشراف الرُؤيّة الحاسوبيّة الجدولة والتخطيط الآليين التعلّم المُعزز التعلّم مُتعدد المهام التصديق المُتقاطع

الرسوميّات	التحريك باستعمال الحاسوب التصيير تعديل الصوّر وحدة مُعالجة الرسُوميّات الواقع المُختلط الواقع الافتراضيّ ضغط الصُوّر النمذجة الماديّة

تطبيقات الحوسبة	التجارة الإلكترونيّة برمجيّات الشركات الرياضيات الحاسُوبيّة الفيزياء الحاسُوبيّة الكيمياء الحاسُوبيّة علم الأحياء الحاسُوبيّ علوم الاجتماع الحاسُوبيّة الهندسة الحاسُوبيّة العناية الصحيّة الرقميّة الفنّ الرقميّ النشر الإلكترُونيّ الحرب الإلكترونيّة التصويت الإلكترُونيّ ألعاب الفيديو مُعالج النصوص البرمجة الرياضيّة تقنيّات التعليم نُظم إدارة المُستندات