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 check-my-answer - Questa è pagina 5 - GeneraCodice
Come dimostrare che questa lingua non è regolare (tramite set di sciocchezze)
https://www.generacodice.com/it/articolo/1589368/come-dimostrare-che-questa-lingua-non-e-regolare-tramite-set-di-sciocchezze
formal-languages
-
regular-languages
-
check-my-answer
cs.stackexchange
Il primo teorema di Goedel non è derivabile algoritmicamente?
https://www.generacodice.com/it/articolo/1589086/il-primo-teorema-di-goedel-non-e-derivabile-algoritmicamente
proof-assistants
-
incompleteness
-
check-my-answer
cs.stackexchange
Trova un limite superiore per $ t (n) = t ( sqrt {n})+10 log log n $
https://www.generacodice.com/it/articolo/1585893/trova-un-limite-superiore-per-t-n-t-sqrt-n-10-log-log-n
asymptotics
-
recurrence-relation
-
check-my-answer
cs.stackexchange
Revisione delle prove: la fattorizzazione intera è in NP
https://www.generacodice.com/it/articolo/1581296/revisione-delle-prove-la-fattorizzazione-intera-e-in-np
turing-machines
-
factoring
-
check-my-answer
cs.stackexchange
Dimostrare il ciclo invariante per un semplice programma nella logica Hoare
https://www.generacodice.com/it/articolo/1580874/dimostrare-il-ciclo-invariante-per-un-semplice-programma-nella-logica-hoare
loop-invariants
-
hoare-logic
-
check-my-answer
cs.stackexchange
$ Add = {x = y+z} $ con $ x, y, z $ interi binari e $ x $ è la somma di $ y $ e $ z $. Pompare lemma per dimostrare che $ add $ non è regolare
https://www.generacodice.com/it/articolo/1579787/-add-x-y-z-con-x-y-z-interi-binari-e-x-e-la-somma-di-y-e-z-pompare-lemma-per-dimostrare-che-add-non-e-regolare
finite-automata
-
pumping-lemma
-
check-my-answer
cs.stackexchange
Ogni albero AVL può essere un albero nero rosso
https://www.generacodice.com/it/articolo/1562117/ogni-albero-avl-puo-essere-un-albero-nero-rosso
data-structures
-
binary-trees
-
search-trees
-
balanced-search-trees
-
check-my-answer
cs.stackexchange
Ordinamento di un array "quasi ordinato" in tempo secondario
https://www.generacodice.com/it/articolo/1561869/ordinamento-di-un-array-quasi-ordinato-in-tempo-secondario
sorting
-
algorithms
-
check-my-answer
cs.stackexchange
Codice prefisso ottimale: esistenza di alberi binari completi
https://www.generacodice.com/it/articolo/1560576/codice-prefisso-ottimale-esistenza-di-alberi-binari-completi
proof-techniques
-
check-my-answer
cs.stackexchange
Prove più semplice del teorema di compressione di Rabin?
https://www.generacodice.com/it/articolo/1559392/prove-piu-semplice-del-teorema-di-compressione-di-rabin
complexity-theory
-
complexity-classes
-
check-my-answer
cs.stackexchange
«
2
3
4
5
6
7
»
Risultati trovati: 68