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 54 - GeneraCodice
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
Se un predicato non è calcolabile, ciò che può essere detto a proposito la sua negazione?
https://www.generacodice.com/it/articolo/1108189/se-un-predicato-non-e-calcolabile-cio-che-puo-essere-detto-a-proposito-la-sua-negazione
computability
-
proof-techniques
cs.stackexchange
dimostrazione rigorosa contro pseudo funzione random
https://www.generacodice.com/it/articolo/1107998/dimostrazione-rigorosa-contro-pseudo-funzione-random
cryptography
-
proof-techniques
cs.stackexchange
Come faccio a scrivere una prova utilizzando induzione sulla lunghezza della stringa di input?
https://www.generacodice.com/it/articolo/1102588/come-faccio-a-scrivere-una-prova-utilizzando-induzione-sulla-lunghezza-della-stringa-di-input
finite-automata
-
automata
-
induction
-
reference-question
-
proof-techniques
cs.stackexchange
Semplice Task-Assignment Problem
https://www.generacodice.com/it/articolo/1102027/semplice-task-assignment-problem
graph-theory
-
algorithms
-
proof-techniques
-
assignment-problem
cs.stackexchange
Dimostrando una grammatica genera solo parole la cui cifra alternata somme sono multipli di tre
https://www.generacodice.com/it/articolo/1098933/dimostrando-una-grammatica-genera-solo-parole-la-cui-cifra-alternata-somme-sono-multipli-di-tre
formal-languages
-
formal-grammars
-
regular-languages
-
proof-techniques
cs.stackexchange
Come mostrare due modelli di computazione sono equivalenti?
https://www.generacodice.com/it/articolo/1098359/come-mostrare-due-modelli-di-computazione-sono-equivalenti
simulation
-
computation-models
-
proof-techniques
cs.stackexchange
«
51
52
53
54
55
56
»
Risultati trovati: 577