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 7 - GeneraCodice
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
Cosa serve per dimostrare che due programmi complicati sono equivalenti?
https://www.generacodice.com/it/articolo/2445902/cosa-serve-per-dimostrare-che-due-programmi-complicati-sono-equivalenti
model-checking
-
reference-request
-
proof-techniques
-
research
cs.stackexchange
Se un grafico G (V, E) è collegato $ | E | \ Geq | V | -1 $
https://www.generacodice.com/it/articolo/2445466/se-un-grafico-g-v-e-e-collegato-e-geq-v-1
proof-techniques
-
graphs
-
connected
cs.stackexchange
Come dimostrare proprietà su una specifica equivalenza aritmetica modulare
https://www.generacodice.com/it/articolo/2444885/come-dimostrare-proprieta-su-una-specifica-equivalenza-aritmetica-modulare
proof-techniques
-
modular-arithmetic
cs.stackexchange
Derivazione Definizione ricorsiva dalla specifica delle funzioni
https://www.generacodice.com/it/articolo/2444685/derivazione-definizione-ricorsiva-dalla-specifica-delle-funzioni
recursion
-
induction
-
proof-techniques
-
calculus-of-constructions
cs.stackexchange
Hai bisogno di chiarimenti riguardo ai certificati dei problemi coNP
https://www.generacodice.com/it/articolo/2443122/hai-bisogno-di-chiarimenti-riguardo-ai-certificati-dei-problemi-conp
proof-techniques
-
co-np
cs.stackexchange
Dimostra che la seguente lingua non è regolare: $ {0^i1^j: i neq j } $ [duplicato
https://www.generacodice.com/it/articolo/1621525/dimostra-che-la-seguente-lingua-non-e-regolare-0-i1-j-i-neq-j-duplicato
finite-automata
-
formal-languages
-
regular-languages
-
proof-techniques
cs.stackexchange
{A^n: n è un prodotto di esattamente due numeri numerosi} regolare?
https://www.generacodice.com/it/articolo/1621003/a-n-n-e-un-prodotto-di-esattamente-due-numeri-numerosi-regolare
formal-languages
-
pumping-lemma
-
regular-languages
-
proof-techniques
cs.stackexchange
Codice costruita dall'algoritmo di Huffman ha una lunghezza media del massimo n
https://www.generacodice.com/it/articolo/1620874/codice-costruita-dall-algoritmo-di-huffman-ha-una-lunghezza-media-del-massimo-n
information-theory
-
algorithms
-
proof-techniques
-
huffman-coding
cs.stackexchange
Dimostrare con i principi di co-induzione
https://www.generacodice.com/it/articolo/1620578/dimostrare-con-i-principi-di-co-induzione
formal-methods
-
coq
-
proof-techniques
-
coinduction
cs.stackexchange
«
4
5
6
7
8
9
»
Risultati trovati: 577