books computational extensions
If you do not find what you're looking for, you can use more accurate words.
امتدادات الحاسوبية (Info)
الحاسوبية النسبية
فكرة حاسوبية الدالة هذه يمكن أن تكون نسبية لمجموعة تعسفية من الأرقام الطبيعية "أ" الدالة د تعرف على أنها الحسابية في "أ" (ويساوي: أ" –الحسابي، أو نسبي بالنسبة إلى "أ") عندما ترضي التعريف الخاص بالدالة الحاسوبية مع المعدلات التي تسمح بالوصول إلى "أ" كأوراكل. طبقاً لمفهوم الدالة الحسابية يمكن إعطاء الدالة الحسابية النسبية تعريفات مساويه على العديد من النماذج المختلفة للحساب. وهذا عادةً ينفذ عن طريق إلحاق نموذج الحساب بعمليات أصلية إضافية والتي تسأل ما إذا كان عدد صحيح معين هو عنصر في "أ" . يمكننا أيضاً الحديث عن د وكونها حسابية في ت عن طريق تعريف ت برسمها البياني .
نظرية العودة الأعلى
نظرية العلم الفوق راضي تدرس هذه المجموعات التي يمكن حسابها من عدد حسابي ترتيبي من إعادات قفز تورنغ من المجموعة الخالية. هذا يكافئ المجموعات المعرفة عن طريق كلاً من المعادلات العامة و الوجودية في اللغة من الأمر الثاني الحسابي ولبعض النماذج من الفوق كومبيوتر. لجعلها أكثر شمولية فإن نظريات العودة يتم تدريسها، مثل نظرية التواتر الإلكتروني والتي أي مجموعة بها يمكن استخدامها كوسيط لدالة التواتر الإلكتروني.
الحوسبة الفائقة
على الرغم من أن فرضية الكنيسة- تورنغ ذكرت أن الدوال الحسابية تشمل كل الدوال مع الخوارزمي، فمن المحتمل أن نعتبر الطبقات الواسعة من الدوال والتي تريح المتطلبات التي يجب أن تحصلها الخوارزمية. إن مجال الفوق حاسوبية يدرس نماذج من الحساب والتي تتخطى حساب تورنغ الطبيعي. هذا لا يخرق فرضية الكنيسة –تورنغ حيث أنهم يسمحون بالعمليات التي، إذا حدث أو لم يحدث تطبيقهم بجهاز فيزيائي، لا يمكن آدائوها بعمل البشر عن طريق قلم و ورقة.
