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 proof-assistants - Ceci est la page 1 - GeneraCodice
Quelles étaient les lacunes de la procédure de résolution de Robinson?
https://www.generacodice.com/fr/articolo/2475739/quelles-etaient-les-lacunes-de-la-procedure-de-resolution-de-robinson
logic
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
Dans quelle mesure serait-il difficile de dire P vs. NP dans un assistant d'épreuve?
https://www.generacodice.com/fr/articolo/2474191/dans-quelle-mesure-serait-il-difficile-de-dire-p-vs-np-dans-un-assistant-d-epreuve
complexity-theory
-
proof-assistants
-
p-vs-np
cs.stackexchange
Étant donné un tableau $A$ et un index $c$, prouver qu'il existe toujours un sous-tableau dont la somme $\pmod {i} = 0$
https://www.generacodice.com/fr/articolo/2468778/etant-donne-un-tableau-a-et-un-index-c-prouver-qu-il-existe-toujours-un-sous-tableau-dont-la-somme-pmod-i-0
proof-assistants
cs.stackexchange
Prouver une solution pour le puzzle $ N $
https://www.generacodice.com/fr/articolo/2468702/prouver-une-solution-pour-le-puzzle-n
combinatorics
-
proof-assistants
-
proof-techniques
cs.stackexchange
sur coq:Pourquoi en est la preuve complète après avoir prouvé que pour une induction lorsque nous avons plus d'une variable?
https://www.generacodice.com/fr/articolo/2468046/sur-coq-pourquoi-en-est-la-preuve-complete-apres-avoir-prouve-que-pour-une-induction-lorsque-nous-avons-plus-d-une-variable
coq
-
induction
-
proof-assistants
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Trouver un seuil tel qu'une fonction soit toujours plus grande que l'autre
https://www.generacodice.com/fr/articolo/2446159/trouver-un-seuil-tel-qu-une-fonction-soit-toujours-plus-grande-que-l-autre
recursion
-
proof-assistants
cs.stackexchange
Quelqu'un peut-il s'il vous plaît donner un exemple d'exemple?Si un problème est dans NP, il n'y a pas d'algorithme de temps polynomial connu pour le résoudre
https://www.generacodice.com/fr/articolo/2443619/quelqu-un-peut-il-s-il-vous-plait-donner-un-exemple-d-exemple-si-un-probleme-est-dans-np-il-n-y-a-pas-d-algorithme-de-temps-polynomial-connu-pour-le-resoudre
np-complete
-
np
-
proof-assistants
cs.stackexchange
Pourquoi prouver que la solution d'un problème est le temps polynomial est-il suffisant pour dire qu'il s'agit d'un NP prolbem? [dupliquer
https://www.generacodice.com/fr/articolo/1607585/pourquoi-prouver-que-la-solution-d-un-probleme-est-le-temps-polynomial-est-il-suffisant-pour-dire-qu-il-s-agit-d-un-np-prolbem-dupliquer
np
-
proof-assistants
-
proof-techniques
cs.stackexchange
Pourquoi ne peut pas correspondre à $ bool equiv bool $ avec $ reflète tandis que 1 $ équiv 1 $ peut?
https://www.generacodice.com/fr/articolo/1603474/pourquoi-ne-peut-pas-correspondre-a-bool-equiv-bool-avec-reflete-tandis-que-1-equiv-1-peut
proof-assistants
cs.stackexchange
Qu'est-ce que cela signifie si nous désactivons K-Rule dans Agda?
https://www.generacodice.com/fr/articolo/1603441/qu-est-ce-que-cela-signifie-si-nous-desactivons-k-rule-dans-agda
agda
-
proof-assistants
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 75