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 53 - GeneraCodice
Comment montrer que la langue donnée est sans ambiguïté
https://www.generacodice.com/fr/articolo/1111526/comment-montrer-que-la-langue-donnee-est-sans-ambiguite
formal-languages
-
ambiguity
-
formal-grammars
-
context-free
-
proof-techniques
cs.stackexchange
Basé sur la réduction Proofs bas ensembles de possibilités
https://www.generacodice.com/fr/articolo/1111134/base-sur-la-reduction-proofs-bas-ensembles-de-possibilites
proof-techniques
-
lower-bounds
cs.stackexchange
Comment montrer la composition d'une fonction à sens unique est pas une telle?
https://www.generacodice.com/fr/articolo/1110576/comment-montrer-la-composition-d-une-fonction-a-sens-unique-est-pas-une-telle
cryptography
-
proof-techniques
-
one-way-functions
cs.stackexchange
Comment déterminer le temps d'exécution d'une réduction polynomiale NP?
https://www.generacodice.com/fr/articolo/1110550/comment-determiner-le-temps-d-execution-d-une-reduction-polynomiale-np
complexity-theory
-
np-complete
-
proof-techniques
-
reductions
cs.stackexchange
A la recherche autre preuve concernant la fermeture de récursivement énumérables Langues
https://www.generacodice.com/fr/articolo/1110165/a-la-recherche-autre-preuve-concernant-la-fermeture-de-recursivement-enumerables-langues
computability
-
formal-languages
-
closure-properties
-
proof-techniques
cs.stackexchange
Avantages de l'analyse après amortissement
https://www.generacodice.com/fr/articolo/1110050/avantages-de-l-analyse-apres-amortissement
amortized-analysis
-
algorithm-analysis
-
proof-techniques
cs.stackexchange
Résolution de récurrence avec logarithme au carré T $ (n) = 2T (n / 2) + n \ log ^ 2n $
https://www.generacodice.com/fr/articolo/1109971/resolution-de-recurrence-avec-logarithme-au-carre-t-n-2t-n-2-n-log-2n
asymptotics
-
proof-techniques
-
recurrence-relation
cs.stackexchange
NP-Complétude - Preuve par restriction
https://www.generacodice.com/fr/articolo/1108682/np-completude-preuve-par-restriction
complexity-theory
-
np-complete
-
proof-techniques
cs.stackexchange
relation de récurrence de la complexité du temps $ T (n) = T (n-1) + n ^ 2 $
https://www.generacodice.com/fr/articolo/1108199/relation-de-recurrence-de-la-complexite-du-temps-t-n-t-n-1-n-2
time-complexity
-
algorithm-analysis
-
proof-techniques
-
recurrence-relation
cs.stackexchange
Comment prouver ou d'infirmer que f est calculable?
https://www.generacodice.com/fr/articolo/1108191/comment-prouver-ou-d-infirmer-que-f-est-calculable
computability
-
proof-techniques
cs.stackexchange
«
50
51
52
53
54
55
»
Résultats trouvés: 577