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 correctness-proof - Questa è pagina 3 - GeneraCodice
Come mai le prove di correttezza non sono tautologiche?
https://www.generacodice.com/it/articolo/2452650/come-mai-le-prove-di-correttezza-non-sono-tautologiche
logic
-
correctness-proof
cs.stackexchange
Posso usare il seguente metodo per dimostrare che un algoritmo è corretto?
https://www.generacodice.com/it/articolo/2449764/posso-usare-il-seguente-metodo-per-dimostrare-che-un-algoritmo-e-corretto
correctness-proof
cs.stackexchange
Ottimalità di un algoritmo avido
https://www.generacodice.com/it/articolo/2447790/ottimalita-di-un-algoritmo-avido
greedy-algorithms
-
proof-techniques
-
correctness-proof
cs.stackexchange
Riduzione del coperchio del vertice al set dominante
https://www.generacodice.com/it/articolo/2441622/riduzione-del-coperchio-del-vertice-al-set-dominante
np-hard
-
correctness-proof
-
reductions
-
polynomial-time-reductions
cs.stackexchange
I cannot find an invariant for the following program
https://www.generacodice.com/it/articolo/1808791/i-cannot-find-an-invariant-for-the-following-program
loops
-
loop-invariants
-
correctness-proof
-
hoare-logic
cs.stackexchange
L'ordinamento asintotico è conservato quando si prende il registro di entrambe le funzioni?
https://www.generacodice.com/it/articolo/1621486/l-ordinamento-asintotico-e-conservato-quando-si-prende-il-registro-di-entrambe-le-funzioni
asymptotics
-
correctness-proof
cs.stackexchange
Confusione dell'inizializzazione invariante in loop
https://www.generacodice.com/it/articolo/1616307/confusione-dell-inizializzazione-invariante-in-loop
loop-invariants
-
correctness-proof
cs.stackexchange
Ridurre al minimo il costo delle somme ricorsive a coppie: come dimostrare la soluzione avida?
https://www.generacodice.com/it/articolo/1616159/ridurre-al-minimo-il-costo-delle-somme-ricorsive-a-coppie-come-dimostrare-la-soluzione-avida
algorithms
-
greedy-algorithms
-
correctness-proof
cs.stackexchange
Confusione sull'assioma di assegnazione nella logica Hoare
https://www.generacodice.com/it/articolo/1615879/confusione-sull-assioma-di-assegnazione-nella-logica-hoare
logic
-
correctness-proof
-
hoare-logic
cs.stackexchange
Dimostra che l'algoritmo avido per rimuovere le cifre K da un numero intero positivo a n-digit è ottimale
https://www.generacodice.com/it/articolo/1615841/dimostra-che-l-algoritmo-avido-per-rimuovere-le-cifre-k-da-un-numero-intero-positivo-a-n-digit-e-ottimale
algorithms
-
greedy-algorithms
-
correctness-proof
cs.stackexchange
«
1
2
3
4
5
6
»
Risultati trovati: 299