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 4 - GeneraCodice
Qualche grafico finito G con tutti V ha almeno il grado di 2, è vero che ogni vertice è necessariamente contenuto in un ciclo?
https://www.generacodice.com/it/articolo/1603335/qualche-grafico-finito-g-con-tutti-v-ha-almeno-il-grado-di-2-e-vero-che-ogni-vertice-e-necessariamente-contenuto-in-un-ciclo
proof-techniques
-
correctness-proof
-
check-my-answer
cs.stackexchange
Domanda sulla prova che la funzione di Rado non è computabile
https://www.generacodice.com/it/articolo/1596651/domanda-sulla-prova-che-la-funzione-di-rado-non-e-computabile
turing-machines
-
computability
-
check-my-answer
cs.stackexchange
Risolvere la relazione di ricorrenza con il metodo principale?
https://www.generacodice.com/it/articolo/1595020/risolvere-la-relazione-di-ricorrenza-con-il-metodo-principale
master-theorem
-
recurrence-relation
-
check-my-answer
cs.stackexchange
Valore massimo del programma di loop-computabile
https://www.generacodice.com/it/articolo/1591563/valore-massimo-del-programma-di-loop-computabile
loops
-
computability
-
check-my-answer
cs.stackexchange
Mostra che la funzione non è computabile?
https://www.generacodice.com/it/articolo/1590947/mostra-che-la-funzione-non-e-computabile
computability
-
check-my-answer
cs.stackexchange
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
«
1
2
3
4
5
6
»
Risultati trovati: 68