علم الحاسوب النظري: الفرق بين النسختين
[مراجعة غير مفحوصة] | [مراجعة غير مفحوصة] |
تم حذف المحتوى تمت إضافة المحتوى
سطر 17:
هذه التعريفات تشكل أساسا [[نظرية الحاسوبية|لنظرية الحاسوبية]] computability theory و[[نظرية التعقيد الحسابي]] computational complexity theory.
== نظرية
'''نظرية
لإنجاز دراسة منهجية للتحسيب، يشكل علماء الحاسوب نماذج رياضية مجردة من الحواسيب تدعى [[نموذج التحسيب]] model of computation. توجد عدة أنماط من هذه النماذج قيد الاستعمال، لكن أهمها واكثرها شيوعا هو [[آلة تورنج]]. يمكن ان نتصور آلة تورينغ على انها حاسوب منزلي مع سعة ذاكرة محدودة، ولايمكن الوصول إلا إلى قطاعات صغيرة متفرقة من هذه الذاكرة. تعتبر آلات تورينغ سهلة التصور والتصميم ومن الممكن تحليلها ودراستها للبرهنة عن النتائج المتوقعة بالتالي تمثل نموذجا معقولا لعملية التحسيب.
|