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-techniques - Ceci est la page 4 - GeneraCodice
Difficulté à comprendre quelques étapes de la preuve :"La classe $\mathscr{H}_{p,m}$ des fonctions de hachage est universelle"
https://www.generacodice.com/fr/articolo/2470811/difficulte-a-comprendre-quelques-etapes-de-la-preuve-la-classe-mathscr-h-p-m-des-fonctions-de-hachage-est-universelle
hash
-
proof-techniques
-
hashing
cs.stackexchange
Clarification de la preuve impliquant la condition de régularité dans le théorème principal
https://www.generacodice.com/fr/articolo/2470082/clarification-de-la-preuve-impliquant-la-condition-de-regularite-dans-le-theoreme-principal
master-theorem
-
algorithm-analysis
-
proof-techniques
cs.stackexchange
Langue des listes de mots, qui ne sont pas toutes différentes, n'est pas sans contexte
https://www.generacodice.com/fr/articolo/2469970/langue-des-listes-de-mots-qui-ne-sont-pas-toutes-differentes-n-est-pas-sans-contexte
formal-languages
-
pumping-lemma
-
context-free
-
proof-techniques
cs.stackexchange
Preuve que si p= pSPACE, RP= BPP
https://www.generacodice.com/fr/articolo/2469713/preuve-que-si-p-pspace-rp-bpp
complexity-theory
-
probability-theory
-
proof-techniques
-
complexity-classes
cs.stackexchange
La classe BPP est-elle fermée pour l'union et l'intersection?
https://www.generacodice.com/fr/articolo/2469706/la-classe-bpp-est-elle-fermee-pour-l-union-et-l-intersection
complexity-theory
-
randomness
-
proof-techniques
-
complexity-classes
cs.stackexchange
Montrer que f (x, y)= x + y (avec | x |= | y |) n'est pas une fonction à sens unique
https://www.generacodice.com/fr/articolo/2469670/montrer-que-f-x-y-x-y-avec-x-y-n-est-pas-une-fonction-a-sens-unique
complexity-theory
-
proof-techniques
-
mathematical-analysis
-
one-way-functions
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
Semi-dette de la langue $ \ Overline {l _ \ \ epsilon}} $
https://www.generacodice.com/fr/articolo/2468452/semi-dette-de-la-langue-overline-l-epsilon
turing-machines
-
halting-problem
-
proof-techniques
-
semi-decidability
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
Comment prouver que le remplacement d'un caractère dans une chaîne dans C et JavaScript est équivalent?
https://www.generacodice.com/fr/articolo/2467666/comment-prouver-que-le-remplacement-d-un-caractere-dans-une-chaine-dans-c-et-javascript-est-equivalent
programming-languages
-
formal-methods
-
proof-techniques
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 577