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 5 - GeneraCodice
Il calcolo di Lambda senza variabili libere è forte come il calcolo della Lambda?
https://www.generacodice.com/it/articolo/2467257/il-calcolo-di-lambda-senza-variabili-libere-e-forte-come-il-calcolo-della-lambda
lambda-calculus
-
proof-techniques
-
turing-completeness
cs.stackexchange
Provando il principio del Pigeonhole nei piani di taglio
https://www.generacodice.com/it/articolo/2467014/provando-il-principio-del-pigeonhole-nei-piani-di-taglio
complexity-theory
-
proof-techniques
cs.stackexchange
Come dimostrano che $ 3x ^ 3 + 2x + 1 $ è $ \ omega (x \ cdot \ log x) $
https://www.generacodice.com/it/articolo/2465826/come-dimostrano-che-3x-3-2x-1-e-omega-x-cdot-log-x
complexity-theory
-
asymptotics
-
landau-notation
-
proof-techniques
-
complexity-classes
cs.stackexchange
Controllando se un singolo di due lingue è regolare
https://www.generacodice.com/it/articolo/2463181/controllando-se-un-singolo-di-due-lingue-e-regolare
automata
-
regular-languages
-
proof-techniques
cs.stackexchange
Prova di un avido algoritmo utilizzato per una variazione del problema del bin-imballaggio
https://www.generacodice.com/it/articolo/2463044/prova-di-un-avido-algoritmo-utilizzato-per-una-variazione-del-problema-del-bin-imballaggio
greedy-algorithms
-
proof-techniques
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
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
«
2
3
4
5
6
7
»
Risultati trovati: 577