Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag proof-techniques - Questa è pagina 53 - GeneraCodice
Come dimostrare che data lingua è inequivocabile
https://www.generacodice.com/it/articolo/1111526/come-dimostrare-che-data-lingua-e-inequivocabile
formal-languages
-
ambiguity
-
formal-grammars
-
context-free
-
proof-techniques
cs.stackexchange
Prove basate sul restringimento di serie di possibilità
https://www.generacodice.com/it/articolo/1111134/prove-basate-sul-restringimento-di-serie-di-possibilita
proof-techniques
-
lower-bounds
cs.stackexchange
Come mostrare la composizione della funzione a senso unico non è tale?
https://www.generacodice.com/it/articolo/1110576/come-mostrare-la-composizione-della-funzione-a-senso-unico-non-e-tale
cryptography
-
proof-techniques
-
one-way-functions
cs.stackexchange
Come determinare il tempo di esecuzione polinomiale di una riduzione di NP?
https://www.generacodice.com/it/articolo/1110550/come-determinare-il-tempo-di-esecuzione-polinomiale-di-una-riduzione-di-np
complexity-theory
-
np-complete
-
proof-techniques
-
reductions
cs.stackexchange
Alla ricerca di prova alternativo Per quanto riguarda la chiusura di ricorsivamente enumerabili Lingue
https://www.generacodice.com/it/articolo/1110165/alla-ricerca-di-prova-alternativo-per-quanto-riguarda-la-chiusura-di-ricorsivamente-enumerabili-lingue
computability
-
formal-languages
-
closure-properties
-
proof-techniques
cs.stackexchange
I vantaggi di analisi ammortizzato
https://www.generacodice.com/it/articolo/1110050/i-vantaggi-di-analisi-ammortizzato
amortized-analysis
-
algorithm-analysis
-
proof-techniques
cs.stackexchange
Risoluzione di recidiva con logaritmo quadrettati $ T (n) = 2T (n / 2) + n \ log ^ $ 2n
https://www.generacodice.com/it/articolo/1109971/risoluzione-di-recidiva-con-logaritmo-quadrettati-t-n-2t-n-2-n-log-2n
asymptotics
-
proof-techniques
-
recurrence-relation
cs.stackexchange
NP-Completezza - Prova per restrizione
https://www.generacodice.com/it/articolo/1108682/np-completezza-prova-per-restrizione
complexity-theory
-
np-complete
-
proof-techniques
cs.stackexchange
relazione di ricorrenza per il tempo della complessità $ T (n) = T (n-1) + n ^ 2 $
https://www.generacodice.com/it/articolo/1108199/relazione-di-ricorrenza-per-il-tempo-della-complessita-t-n-t-n-1-n-2
time-complexity
-
algorithm-analysis
-
proof-techniques
-
recurrence-relation
cs.stackexchange
Come per provare o confutare che f è calcolabile?
https://www.generacodice.com/it/articolo/1108191/come-per-provare-o-confutare-che-f-e-calcolabile
computability
-
proof-techniques
cs.stackexchange
«
50
51
52
53
54
55
»
Risultati trovati: 577