Complex biological systems may be represented and analyzed as computable networks. ويمكن تمثيل النظم البيولوجية المعقدة وتحليلها باعتبارها شبكات قابلة للحوسبة.
This term has since come to be identified with the computable functions. لقد أصبح هذا المصطلح منذ ذلك الحين معرّف بالدوال الحسابية .
Every computable function has a finite procedure giving explicit, unambiguous instructions on how to compute it. كل دالة حسابية لها إجراءات متناهيه لتعطي تعليمات واضحة وصريحة عن كيفية حسابها .
In computational complexity theory, the problem of determining the complexity of a computable function is known as a function problem. في نظرية التعقيد الحاسوبي، مشكلة تحديد تعقيد الدالة المحسوبة يعرف بمشكلة الدالة.
Before the precise definition of computable function, mathematicians often used the informal term effectively calculable. قبل التعريف الدقيق للدالة الحسابية، غالباً ما كان يستخدم علماء الرياضيات المصطلح غير الرسمي محسوب بشكل فعّال .
All known laws of physics have consequences that are computable by a series of approximations on a digital computer. كل قوانين الفيزياء المعروفة لها نتائج قابلة للحساب على الكمبيوتر الرقمي عن طريق سلسلة من التقريبات.
Thus every computable function must have a finite program that completely describes how the function is to be computed. ولذلك فإن كل دالة حسابية يجب أن يكون لديها برنامج متناهي والذي يصف بالكامل كيف سيتم حساب الدالة.
Church proved that there is no computable function which decides for two given λ-calculus expressions whether they are equivalent or not. أثبت تشرتش أنه لا توجد دوال حسابية تقرر ما إذا كان تعبيرين λ حسابيين معينين متعادلين أم لا.
As with the concept of a computable function relative computability can be given equivalent definitions in many different models of computation. طبقاً لمفهوم الدالة الحسابية يمكن إعطاء الدالة الحسابية النسبية تعريفات مساويه على العديد من النماذج المختلفة للحساب .
Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines. وهي تستخدم لمناقشة الحسابية دون الإشارة إلى أي نموذج ملموس من الحساب مثل آلات تورنغ أو آلات التسجيل.
جوال إصدار