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

في المعلوماتية، الحوسبة '''computation''' يعني كيفية تطور حالة الحاسوب مع الزمن، علما أن حاسوب هنا يجب أن تفهم بالمعنى الواسع للكلمة وليس على أنها [[حاسوب رقمي|الحواسيب الرقمية]] فقط. لكن أحد أمثلة التحسيب الفيزيائي هو تطور حالة الحاسوب الرقمي مع الزمن، مع ان هناك أمثلة أخرى مثل [[حاسوب كمومي|الحواسب الكمومية]]، [[حاسوب الدنا|حواسيب الدنا]] DNA computer أو [[حاسوب جزيئي|الحواسيب الجزيئية]]. في فروع المعلوماتية التي تدرس عمليات التحسيب، تعرف نماذج رياضية من الحواسيب تدعى [[آلة تورنج|آلات تورينغ]]، في هذه الحالة يصبح التحسيب شيئا رياضيا بحتا. الفرع الرياضي الذي يدرس النماذج الرياضية للتحسيب ندعوه '''نظرية التحسيب'''.

 

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