Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag correctness-proof - Ceci est la page 3 - GeneraCodice
Comment se fait-il que les preuves de correction ne soient pas tautologiques ?
https://www.generacodice.com/fr/articolo/2452650/comment-se-fait-il-que-les-preuves-de-correction-ne-soient-pas-tautologiques
logic
-
correctness-proof
cs.stackexchange
Puis-je utiliser la méthode suivante pour prouver qu'un algorithme est correct?
https://www.generacodice.com/fr/articolo/2449764/puis-je-utiliser-la-methode-suivante-pour-prouver-qu-un-algorithme-est-correct
correctness-proof
cs.stackexchange
Optimalité d'un algorithme gourmand
https://www.generacodice.com/fr/articolo/2447790/optimalite-d-un-algorithme-gourmand
greedy-algorithms
-
proof-techniques
-
correctness-proof
cs.stackexchange
Réduction de la couverture de sommet à l'ensemble dominant
https://www.generacodice.com/fr/articolo/2441622/reduction-de-la-couverture-de-sommet-a-l-ensemble-dominant
np-hard
-
correctness-proof
-
reductions
-
polynomial-time-reductions
cs.stackexchange
I cannot find an invariant for the following program
https://www.generacodice.com/fr/articolo/1808791/i-cannot-find-an-invariant-for-the-following-program
loops
-
loop-invariants
-
correctness-proof
-
hoare-logic
cs.stackexchange
L'ordre asymptotique est-il conservé lors de la prise du journal des deux fonctions?
https://www.generacodice.com/fr/articolo/1621486/l-ordre-asymptotique-est-il-conserve-lors-de-la-prise-du-journal-des-deux-fonctions
asymptotics
-
correctness-proof
cs.stackexchange
Loop Invariant Initialisation Confusion
https://www.generacodice.com/fr/articolo/1616307/loop-invariant-initialisation-confusion
loop-invariants
-
correctness-proof
cs.stackexchange
Minimiser le coût des sommes récursives par paires: comment prouver que la solution gourmand fonctionne?
https://www.generacodice.com/fr/articolo/1616159/minimiser-le-cout-des-sommes-recursives-par-paires-comment-prouver-que-la-solution-gourmand-fonctionne
algorithms
-
greedy-algorithms
-
correctness-proof
cs.stackexchange
Confusion sur l'affaignation axiome dans la logique Hoare
https://www.generacodice.com/fr/articolo/1615879/confusion-sur-l-affaignation-axiome-dans-la-logique-hoare
logic
-
correctness-proof
-
hoare-logic
cs.stackexchange
Prouver que l'algorithme gourmand pour éliminer les chiffres k d'un entier positif à n chiffon est optimal
https://www.generacodice.com/fr/articolo/1615841/prouver-que-l-algorithme-gourmand-pour-eliminer-les-chiffres-k-d-un-entier-positif-a-n-chiffon-est-optimal
algorithms
-
greedy-algorithms
-
correctness-proof
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 299