علم الحاسوب النظري: الفرق بين النسختين

'''نظرية علوم الحاسوب''' هو فرع من [[علم الحاسوب]] و[[الرياضيات]] والذي يهتم اكثر بالمواضيع المجردة او المفاهيم الرياضية للحاسوبية ومن ضمنه أيضا [[نظرية الحاسوبية]] .

 

== الحوسبة ==

يمكن تعريف التحسيب أيضا بأنه إيجاد حلول مسألة مطروحة ابتداء من معطيات مطروحة لها باستخدام خوارزمية. ويمكن تمديد هذا العلم لإيجاد [[خوارزمية|الخوارزميات]] المناسبة لحل نمط معين من المسائل.

بدورها تتناول نظرية الحوسبة : تحليل المسائل ومدخلاتها Inputs إضافة للخوارزميات Algorithms المطروحة لحلها.

 

== الحوسبة كمفهوم معلوماتي ==

 

في أي خوارزمية، هناك مجموعة من العمليات الحسابية والمنطقية المتسلسلة، نتيجة كل عملية تستخدم كمدخل للعملية التالية، ويقوم البرنامج المعطى الممثل للخوارزمية بترتيب العمليات وتحديد شروط الأنتقال من عملية لأخرى وحتى إمكانية العودة إلى عملية سابقة أو الانتقال إلى عملية لاحقة (ليست تالية) (القفز بينها إلى الأعلى وإلى الأسفل في جدول).

هذه التعريفات تشكل أساسا [[نظرية الحاسوبية|لنظرية الحاسوبية]] computability theory و[[نظرية التعقيد الحسابي]] computational complexity theory.