computability أمثلة على

• In computability theory in computer science, it is common to consider formal languages.
  طبقاً للنظرية الحاسوبية في علوم الكومبيوتر ، من الشائع أن تراعي اللغات الرسمية.
• The computability of a problem is closely linked to the existence of an algorithm to solve the problem.
  حاسوبية المشكلة ترتبط بشدة بوجود خوارزمية لحل المشكلة.
• The fields of feasible computability and computational complexity study functions that can be computed efficiently.
  مجالات الحاسوبية العملية و التعقيد الحسابي تدرس الدوال التي قد تكون محسوبة بشكل فعّال.
• A central idea in computability is that of a (computational) problem, which is a task whose computability can be explored.
  الفكرة المحورية في الحاسوبية هي تلك الخاصة بالمشكلة الحسابية، وهي مهمة يمكن استكشاف حاسوبيتها.
• A central idea in computability is that of a (computational) problem, which is a task whose computability can be explored.
  الفكرة المحورية في الحاسوبية هي تلك الخاصة بالمشكلة الحسابية، وهي مهمة يمكن استكشاف حاسوبيتها.
• It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science.
  وهي الموضوع الرئيسي لمجال نظرية الحاسوبية في المنطق الرياضي ونظرية الحساب في علوم الحاسوب.
• 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.
  وهي تستخدم لمناقشة الحسابية دون الإشارة إلى أي نموذج ملموس من الحساب مثل آلات تورنغ أو آلات التسجيل.
• One goal of computability theory is to determine which problems, or classes of problems, can be solved in each model of computation.
  أحد أهداف نظرية الحاسوبية هو تحديد أي من المشاكل، أو فئات المشاكل، من الممكن حلها في كل نموذج للحساب.
• The most widely studied models of computability are the Turing-computable and μ-recursive functions, and the lambda calculus, all of which have computationally equivalent power.
  إن أوسع نماذج الحاسوبية دراسةً هم آلة تورنغ ودوال المايكرو المتكررة وحسابات اللامدا، وجميعهم لهم قوى حسابية معادله.
• In the theory of computation, abstract machines are often used in thought experiments regarding computability or to analyze the complexity of algorithms (see computational complexity theory).
  في نظرية التحسيب، تستخدم غالبا الآلات المجردة ضمن التجارب الفكرية المتعلقة بالحسوبية وتحليل تعقيد الخوارزميات (نظرية التعقيد الحسابي).
• The first result of computability theory is that there exist problems for which it is impossible to predict what a (Turing-complete) system will do over an arbitrarily long time.
  النتيجة الأولى من نظرية الحاسوبية هو أنه بشكل عام فإنه من المستحيل التنبؤ بماذا سيفعل برنامج كامل حسب تورنغ ضمن فترة زمنية طويلة.
• The halting problem is one of the most famous problems in computer science, because it has profound implications on the theory of computability and on how we use computers in everyday practice.
  مشكلة التوقف هي أحد أشهر المشاكل في علوم الكومبيوتر، لأن لها آثار عميقة على نظرية الحسابية وعلى كيفية استخدام حاسباتنا يومياً.
• DNA computing does not provide any new capabilities from the standpoint of computability theory, the study of which problems are computationally solvable using different models of computation.
  غير أن حوسبة الدنا لا توفر أي قدرات جديدة من وجهة نظر نظرية الحاسوبية وهي الدراسة التي تعنى بحل المشاكل حسابيا باستخدام نماذج مختلفة من الحساب.
• In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer.
  في نظرية الحاسوبية ونظرية التعقيد الحسابي، معضلة غير قابلة للقرار هي معضلة هدفها صنع قرار ما، حيث يستحيل إنشاء خوارزمية وحيدة، تجيب دائما وبصفة صحيحة، بنعم أو لا على المعضلة المطروحة.