Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
computability theory
Vertaling van "computability theory" in Arabisch
نظرية الحاسوبية
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.
أحد أهداف نظرية الحاسوبية هو تحديد أي من المشاكل، أو فئات المشاكل، من الممكن حلها في كل نموذج للحساب.
In computability theory, the domain of a function is taken to be the set of all inputs for which the function is defined.
في نظرية الحاسوبية، يؤخذ مجال الدالة ليصبح مجموعة كل المدخلات والتي تم تعريف الدالة لأجلها.
One goal of computability theory is to determine which problems, or classes of problems, can be solved in each model of computation
أحد أهداف نظرية الحاسوبية هو تحديد أي من المشاكل، أو فئات المشاكل، من الممكن حلها في كل نموذج للحساب.
It is divided into two major sub-branches: computability theory and complexity theory, but both sub-branches deal with formal 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.
في نظرية الحاسوبية ونظرية التعقيد الحسابي، معضلة غير قابلة للقرار هي معضلة هدفها صنع قرار ما، حيث يستحيل إنشاء خوارزمية وحيدة، تجيب دائما وبصفة صحيحة، بنعم أو لا على المعضلة المطروحة.
In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is known to be impossible to construct a single algorithm that always leads to a correct yes-or-no answer.
في نظرية الحاسوبية ونظرية التعقيد الحسابي، معضلة غير قابلة للقرار هي معضلة هدفها صنع قرار ما، حيث يستحيل إنشاء خوارزمية وحيدة، تجيب دائما وبصفة صحيحة، بنعم أو لا على المعضلة المطروحة.
In computability theory, a system of data-manipulation rules (such as a computer's instruction set, a programming language, or a cellular automaton) is said to be Turing complete or computationally universal if it can be used to simulate any Turing machine.
في نظرية الحاسوبية، يقال عن نظام قواعد التعامل مع البيانات (مثل مجموعة التعليمات لكمبيوتر، لغة البرمجة، أوخلايا ذاتية السلوك) بأنها كاملة حسب تورنغ أو عامة حسابيا إذا كان يمكن استخدامها لمحاكاة أي آلة تورنغ وحيدة الشريط.
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.
النتيجة الأولى من نظرية الحاسوبية هو أنه بشكل عام فإنه من المستحيل التنبؤ بماذا سيفعل برنامج كامل حسب تورنغ ضمن فترة زمنية طويلة.
In computability theory in computer science, it is common to consider formal languages.
طبقاً للنظرية الحاسوبية في علوم الكومبيوتر، من الشائع أن تراعي اللغات الرسمية.
The discipline emerged in the 1950s from the development of computability theory and the invention of the stored-program electronic computer.
ظهر المجال في خمسينات القرن الماضي بعد ظهور النظرية الحاسوبية واختراع البرنامج المخزن في الكمبيوتر الإلكتروني.
Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and computability theory.
المنطق الرياضي: هو امتداد للمنطق الرمزي في مناطق أخرى، خاصةً دراسة نظرية النموذج، نظرية البرهان، نظرية المجموعات ونظرية الحوسبة.
In computability theory in computer science, it is common to consider formal languages.
طبقاً للنظرية الحاسوبية في علوم الكومبيوتر، من الشائع أن تراعي اللغات الرسمية.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor computability theory in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 21. Exact: 21. Verstreken tijd: 19 ms.
