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

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