Translation of "computability" to Arabic language:

  Dictionary English-Arabic

Computability - translation :
الحوسبة

  Examples (External sources, not reviewed)

Computable functions are the basic objects of study in computability theory.
الدوال الحسابية هي المواد الأساسية في دراسة النظرية الحسابية .
In computability and complexity theory, ALL is the class of all decision problems.
في نظرية الحاسوبية ونظرية التعقيد الحسابي , ALL هو قسم كل المسائل .
Formal languages In computability theory in computer science, it is common to consider formal languages.
طبقا للنظرية الحاسوبية في علوم الكومبيوتر ، من الشائع أن تراعي اللغات الرسمية.
They are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
وهي تستخدم لمناقشة الحسابية دون الإشارة إلى أي نموذج ملموس من الحساب مثل آلات تورينج أو آلات التسجيل.
It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science.
وهي الموضوع الرئيسي لمجال نظرية الحاسوبية في المنطق الرياضي ونظرية الحساب في علوم الحاسوب.
One goal of computability theory is to determine which problems, or classes of problems, can be solved in each model of computation.
أحد أهداف نظرية الحاسوبية هو تحديد أي من المشاكل، أو فئات المشاكل، من الممكن حلها في كل نموذج للحساب.
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.
غير أن حوسبة الدنا لا توفر أي قدرات جديدة من وجهة نظر نظرية الحاسوبية وهي الدراسة التي تعنى بحل المشاكل حسابيا باستخدام نماذج مختلفة من الحساب.
Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.
نظرية الحاسوبية computability theory وتعرف أيضا بالنظرية العودية Recursion theory هي أحد فروع المعلوماتية النظرية تم تأسيسه في عام 1930 theoretical computer science التي تدرس مسائل قابلة للحل حاسوبيا computationally solvable باستخدام نماذج مختلفة للتحسيب .

 

عرض هذه الصفحة باللغة العربية عرض هذه الصفحة باللغة العربية