العربية
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
علامة correctness-proof - هذه الصفحة 3 - GeneraCodice
كيف صحة البراهين ليست حشوا?
https://www.generacodice.com/ar/articolo/2452650/كيف-صحة-البراهين-ليست-حشوا
logic
-
correctness-proof
cs.stackexchange
هل يمكنني استخدام الطريقة التالية لإثبات خوارزمية صحيحة؟
https://www.generacodice.com/ar/articolo/2449764/هل-يمكنني-استخدام-الطريقة-التالية-لإثبات-خوارزمية-صحيحة
correctness-proof
cs.stackexchange
الأمثل للخوارزمية الجشع
https://www.generacodice.com/ar/articolo/2447790/الأمثل-للخوارزمية-الجشع
greedy-algorithms
-
proof-techniques
-
correctness-proof
cs.stackexchange
تخفيض من قمة الرأس إلى مجموعة المهيمنة
https://www.generacodice.com/ar/articolo/2441622/تخفيض-من-قمة-الرأس-إلى-مجموعة-المهيمنة
np-hard
-
correctness-proof
-
reductions
-
polynomial-time-reductions
cs.stackexchange
I cannot find an invariant for the following program
https://www.generacodice.com/ar/articolo/1808791/i-cannot-find-an-invariant-for-the-following-program
loops
-
loop-invariants
-
correctness-proof
-
hoare-logic
cs.stackexchange
Is asymptotic ordering preserved when taking log of both functions?
https://www.generacodice.com/ar/articolo/1621486/is-asymptotic-ordering-preserved-when-taking-log-of-both-functions
asymptotics
-
correctness-proof
cs.stackexchange
Loop invariant initialisation confusion
https://www.generacodice.com/ar/articolo/1616307/loop-invariant-initialisation-confusion
loop-invariants
-
correctness-proof
cs.stackexchange
Minimize cost of recursive pairwise sums: how to prove the greedy solution works?
https://www.generacodice.com/ar/articolo/1616159/minimize-cost-of-recursive-pairwise-sums-how-to-prove-the-greedy-solution-works
algorithms
-
greedy-algorithms
-
correctness-proof
cs.stackexchange
Confusion about assignment axiom in Hoare logic
https://www.generacodice.com/ar/articolo/1615879/confusion-about-assignment-axiom-in-hoare-logic
logic
-
correctness-proof
-
hoare-logic
cs.stackexchange
Prove that the greedy algorithm to remove k digits from a n-digit positive integer is optimal
https://www.generacodice.com/ar/articolo/1615841/prove-that-the-greedy-algorithm-to-remove-k-digits-from-a-n-digit-positive-integer-is-optimal
algorithms
-
greedy-algorithms
-
correctness-proof
cs.stackexchange
«
1
2
3
4
5
6
»
العثور على نتائج: 299