computable أمثلة على

• 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.
  وهي تستخدم لمناقشة الحسابية دون الإشارة إلى أي نموذج ملموس من الحساب مثل آلات تورنغ أو آلات التسجيل.
• All primitive recursive functions are total and computable, but the Ackermann function illustrates that not all total computable functions are primitive recursive.
  جميع الدوال البدائية العودية هي كلية و قابلة للحساب، ولكن الدالة أكرمان توضح أنه ليست كل الدوال الكلية القابلة للحساب بدائية عودية.
• A hypothesis called digital physics states that this is no accident because the universe itself is computable on a universal Turing machine.
  توجد فرضية تسمى الفيزياء الرقمية تنص على أن هذا الأمر ليس من قبيل الصدفة، لأن الكون نفسه قابل للحوسبة على آلة تورنغ العامة.
• Furthermore, this procedure has to be encoded in the finite alphabet used by the computational model, so there are only countably many computable functions.
  علاوة على ذلك، هذه الأجراءات يجب أن ترمز في الأبجدية المتناهية المستخدمة في النموذج الحاسوبي، لذلك فهناك فقط دوال عديدة قابلة للحسب .
• The Church–Turing thesis is sometimes used in proofs to justify that a particular function is computable by giving a concrete description of a procedure for the computation.
  تستخدم فرضية تشرتش-تورنغ أحياناً في إثبات استيفاء أن دالة معينة قابلة للحساب عن طريق منحها وصف ملموس لإجراءات الحسابية .
• Thus a language is computable just in case there is a procedure that is able to correctly tell whether arbitrary words are in the language.
  وهكذا، تحسب اللغة فقط في حالة أنه يوجد إجراء قادر على إخبارنا بشكل صحيح عن ما إذا كانت الكلمات التعسفية موجودة في اللغة .
• Some coding system must be developed to allow a computable function to take an arbitrary word in the language as input; this is usually considered routine.
  يجب تطوير بعض أنظمة التكويد أو الترميز لتسمح لدالة حسابية بأن تأخذ كلمة تعسفية في اللغة كمدخل ، وهذا في الغالب يعتبر روتيناً .
• To some extent, the development of geomatics helped obscure the binary between physical and human geography to some extent, as the complexities of the human and natural environments could be assessed on new computable models.
  وقد أدى تطوير الجيوماتكس إلى إعادة توحد الجغرافيا، حيث يمكن تقييم درجات تعقيد البشر والبيئات الطبيعية على النماذج الجديدة التي يمكن حسابها.
• According to the Church–Turing thesis, computable functions are exactly the functions that can be calculated using a mechanical calculation device given unlimited amounts of time and storage space.
  طبقاً لفرضية تورنغ-الكنيسة ، فإن الدوال الحسابية هم بالضبط الدوال التي من الممكن أن يتم حسابها باستخدام أداة حساب ميكانيكية بفرض وجود كمية غير محدودة من الوقت ومساحة التخزين .
• (Computational) universality A system is called universal with respect to a class of systems if it can compute every function computable by systems in that class (or can simulate each of those systems).
  العمومية (الحسابية) يسمى نظام ما عاماً فيما يخص صفا من النظم إذا كان يمكنه حساب كل وظيفة قابلة للحساب من قبل الأنظمة في ذلك الصف (أو يمكنه محاكاة أي من هذه الأنظمة).
• Computable general equilibrium (CGE) models surpassed and replaced AGE models in the mid-1980s, as the CGE model was able to provide relatively quick and large computable models for a whole economy, and was the preferred method of governments and the World Bank.
  أُحلت نماذج التوان العام المحسوب مكان نماذج التوازن العام التطبيقي في منتصف عقد 1980، كما كان نموذج التوازن العام المحسوب قادراً على توفير نماذج حسابية سريعة نسبياً في الاقتصاد كله، الذي كان الأسلوب المفضل للحكومات و البنك الدولي.