العربية
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
مقالات كاملة
فئات
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
انت تكتب
المستعمل
تسجيل الدخول
تسجيل
استعادة كلمة السر
العلامات
علامات اللغة
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
علامة undecidability - هذه الصفحة 7 - GeneraCodice
تبين أن هذه المجموعة الرائعة $ C $ موجودة
https://www.generacodice.com/ar/articolo/2454714/تبين-أن-هذه-المجموعة-الرائعة-c-موجودة
turing-machines
-
computability
-
undecidability
cs.stackexchange
show that in every infinite computably enumerable set, there exists an infinite decidable set
https://www.generacodice.com/ar/articolo/2454574/show-that-in-every-infinite-computably-enumerable-set-there-exists-an-infinite-decidable-set
turing-machines
-
computability
-
undecidability
cs.stackexchange
لماذا لا تثبت نظرية العودية وجود مجموعة محدودة غير قابلة للتقرير؟
https://www.generacodice.com/ar/articolo/2453658/لماذا-لا-تثبت-نظرية-العودية-وجود-مجموعة-محدودة-غير-قابلة-للتقرير
turing-machines
-
computability
-
undecidability
cs.stackexchange
هل هذا صحيح: ما إذا كان Grammar من النوع 3 يولد $ \ Sigma ^ * $ ليس C.E
https://www.generacodice.com/ar/articolo/2453394/هل-هذا-صحيح-ما-إذا-كان-grammar-من-النوع-3-يولد-sigma-ليس-c-e
formal-languages
-
undecidability
-
regular-languages
cs.stackexchange
Union of halting-like problem and non-halting-like problem
https://www.generacodice.com/ar/articolo/2448797/union-of-halting-like-problem-and-non-halting-like-problem
halting-problem
-
formal-languages
-
undecidability
-
semi-decidability
cs.stackexchange
كيف يمكنني تطبيق نظرية الأرز؟
https://www.generacodice.com/ar/articolo/2448280/كيف-يمكنني-تطبيق-نظرية-الأرز
undecidability
-
rice-theorem
cs.stackexchange
هي اللغة الفارغة L= ∅ مجموعة فرعية من كل اللغات؟
https://www.generacodice.com/ar/articolo/2446142/هي-اللغة-الفارغة-l-مجموعة-فرعية-من-كل-اللغات
halting-problem
-
undecidability
cs.stackexchange
إثبات أن فئة لغات CFG التي يتم إغلاقها تحت الانعكاس غير قابلة للتكرار
https://www.generacodice.com/ar/articolo/2446077/إثبات-أن-فئة-لغات-cfg-التي-يتم-إغلاقها-تحت-الانعكاس-غير-قابلة-للتكرار
automata
-
formal-languages
-
undecidability
-
context-free
cs.stackexchange
حالة خاصة من مجموع فرعي
https://www.generacodice.com/ar/articolo/2445185/حالة-خاصة-من-مجموع-فرعي
complexity-theory
-
algorithms
-
undecidability
-
decision-problem
cs.stackexchange
هل يقابل ما إذا كانت آلة تورينج معينة تتحرك رأسها أكثر من 481 خلايا بعيدا عن العلامة اليسرى، على الإدخال ε؟
https://www.generacodice.com/ar/articolo/2444820/هل-يقابل-ما-إذا-كانت-آلة-تورينج-معينة-تتحرك-رأسها-أكثر-من-481-خلايا-بعيدا-عن-العلامة-اليسرى-على-الإدخال-ε
turing-machines
-
automata
-
undecidability
cs.stackexchange
«
4
5
6
7
8
9
»
العثور على نتائج: 685