العربية
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
علامة proof-assistants - هذه الصفحة 1 - GeneraCodice
ما هي أوجه القصور في إجراءات قرار روبنسون؟
https://www.generacodice.com/ar/articolo/2475739/ما-هي-أوجه-القصور-في-إجراءات-قرار-روبنسون
logic
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
ما مدى صعوبة الحالات P مقابل NP في مساعد دليل؟
https://www.generacodice.com/ar/articolo/2474191/ما-مدى-صعوبة-الحالات-p-مقابل-np-في-مساعد-دليل
complexity-theory
-
proof-assistants
-
p-vs-np
cs.stackexchange
بالنظر إلى المصفوفة $A$ والفهرس $c$، أثبت أن هناك دائمًا مصفوفة فرعية مجموعها $\pmod {i} = 0$
https://www.generacodice.com/ar/articolo/2468778/بالنظر-إلى-المصفوفة-a-والفهرس-c-أثبت-أن-هناك-دائم-ا-مصفوفة-فرعية-مجموعها-pmod-i-0
proof-assistants
cs.stackexchange
إثبات حل للحصول على لغز $ N $ التسجيل
https://www.generacodice.com/ar/articolo/2468702/إثبات-حل-للحصول-على-لغز-n-التسجيل
combinatorics
-
proof-assistants
-
proof-techniques
cs.stackexchange
على كوك:لماذا يكتمل البرهان بعد البرهان لاستقراء واحد فقط عندما يكون لدينا أكثر من متغير واحد؟
https://www.generacodice.com/ar/articolo/2468046/على-كوك-لماذا-يكتمل-البرهان-بعد-البرهان-لاستقراء-واحد-فقط-عندما-يكون-لدينا-أكثر-من-متغير-واحد
coq
-
induction
-
proof-assistants
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
أوجد عتبة بحيث تكون إحدى الدالتين دائمًا أكبر من الأخرى
https://www.generacodice.com/ar/articolo/2446159/أوجد-عتبة-بحيث-تكون-إحدى-الدالتين-دائم-ا-أكبر-من-الأخرى
recursion
-
proof-assistants
cs.stackexchange
يمكن للشخص يرجى إعطاء مثال عداد منه؟إذا كانت هناك مشكلة في NP، فلا توجد خوارزمية زمنية متعددة الحدود لحلها
https://www.generacodice.com/ar/articolo/2443619/يمكن-للشخص-يرجى-إعطاء-مثال-عداد-منه-إذا-كانت-هناك-مشكلة-في-np-فلا-توجد-خوارزمية-زمنية-متعددة-الحدود-لحلها
np-complete
-
np
-
proof-assistants
cs.stackexchange
Why proving the solution of a problem is polynomial time is sufficient enough to say that it is a NP prolbem? [duplicate]
https://www.generacodice.com/ar/articolo/1607585/why-proving-the-solution-of-a-problem-is-polynomial-time-is-sufficient-enough-to-say-that-it-is-a-np-prolbem-duplicate
np
-
proof-assistants
-
proof-techniques
cs.stackexchange
Why cannot match $ Bool \equiv Bool $ with $ refl $ while $1 \equiv 1$ can?
https://www.generacodice.com/ar/articolo/1603474/why-cannot-match-bool-equiv-bool-with-refl-while-1-equiv-1-can
proof-assistants
cs.stackexchange
What does it mean if we disable K-rule in Agda?
https://www.generacodice.com/ar/articolo/1603441/what-does-it-mean-if-we-disable-k-rule-in-agda
agda
-
proof-assistants
cs.stackexchange
«
1
2
3
4
5
6
»
العثور على نتائج: 75