Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
recursion theory
Traducere "recursion theory" în arabă
نظرية الحاسوبية
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science, as well as to category theory.
ينقسم المنطق الحديث إلى نظرية الحاسوبية، نظرية النموذج، ونظرية البرهان، ويرتبط ارتباطًا وثيقًا بعلوم الحاسوب النظرية، وكذلك بنظرية الأصناف.
In the context of recursion theory, the impossibility of a full axiomatization of number theory can also be formally demonstrated as a consequence of the MRDP theorem.
في سياق نظرية الحاسوبية، يمكن أيضًا استحالة استنباط البديهية الكاملة لنظرية الأعداد بشكل رسمي كنتيجة لنظرية (MRDP).
These machines are a central topic of study in recursion theory.
هذه الآلات هي الموضوع الرئيسي للدراسة في نظرية التواتر.
His work on recursion theory helped to provide the foundations of theoretical computer science.
عمله على استدعاء ذاتي من الناحية النظريه ساعدت على توفير الأسس النظريه للعلوم الكمبيوتر.
Basically Karp wanted to return to Gödel's original proof-theoretic definitions of recursive sets but of course using more liberal notions of proof so as to obtain generalisations of recursion theory.
اساسا كارب يريدون العودة الى gödel 'دا الاصل لاثبات صحه النظريه متكررة مجموعات من التعاريف ولكن بطبيعة الحال باستخدام افكار اكثر تحررا من دليل على ذلك من اجل الحصول على التعميمات استدعاء ذاتي من الناحية النظريه.
Model theory Proof theory Set theory Type theory Recursion theory Theory of Computation
نظرية النموذج نظرية البرهان نظرية المجموعات نظرية النمط نظرية الحاسوبية نظرية الحوسبة
These machines are a central topic of study in recursion theory.
هذه الآلات هي الموضوع الرئيسي للدراسة في نظرية التواتر.
Treci la Premium pentru a debloca milioane de exemple de traduceri, a salva și învăța vocabular nelimitat, fără reclame.
Sinonime și analogii pentru "recursion theory" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Rezultate: 7. Exacte: 7. Timp de răspuns: 16 ms.
