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 50 - GeneraCodice
Do lingue indecidibili esistono in logica costruttivista?
https://www.generacodice.com/it/articolo/1123823/do-lingue-indecidibili-esistono-in-logica-costruttivista
logic
-
turing-machines
-
formal-languages
-
undecidability
-
proof-techniques
cs.stackexchange
MAX 10-SAT Algoritmo
https://www.generacodice.com/it/articolo/1122948/max-10-sat-algoritmo
dynamic-programming
-
algorithms
-
proof-techniques
cs.stackexchange
Dimostrare che $ L_1 $ è regolare se $ L_2 $, $ L_1L_2 $, $ L_2L_1 $ sono regolari
https://www.generacodice.com/it/articolo/1122021/dimostrare-che-l-1-e-regolare-se-l-2-l-1l-2-l-2l-1-sono-regolari
finite-automata
-
regular-languages
-
closure-properties
-
proof-techniques
cs.stackexchange
Come dimostrare che una funzione non è calcolabile?
https://www.generacodice.com/it/articolo/1120918/come-dimostrare-che-una-funzione-non-e-calcolabile
computability
-
undecidability
-
reference-question
-
proof-techniques
cs.stackexchange
Un lemma di pompaggio per deterministici linguaggi context-free?
https://www.generacodice.com/it/articolo/1120459/un-lemma-di-pompaggio-per-deterministici-linguaggi-context-free
pumping-lemma
-
context-free
-
proof-techniques
cs.stackexchange
Come dimostrare NP-difficile di un problema più lungo percorso?
https://www.generacodice.com/it/articolo/1120076/come-dimostrare-np-difficile-di-un-problema-piu-lungo-percorso
complexity-theory
-
np-hard
-
proof-techniques
-
reductions
cs.stackexchange
Dimostrando non confluenza e aggiungendo un'equazione per renderlo confluenti e terminante
https://www.generacodice.com/it/articolo/1118924/dimostrando-non-confluenza-e-aggiungendo-un-equazione-per-renderlo-confluenti-e-terminante
logic
-
semantics
-
proof-techniques
-
term-rewriting
cs.stackexchange
A prova di schizzo sul linguaggio accettato da una macchina di Turing
https://www.generacodice.com/it/articolo/1118819/a-prova-di-schizzo-sul-linguaggio-accettato-da-una-macchina-di-turing
turing-machines
-
formal-languages
-
proof-techniques
cs.stackexchange
Come applicare il lemma di pompaggio a $ \ {0 ^ m 1 ^ n \ metà 2n \ leq m \ leq 3n, m, n \ geq 0 \} $?
https://www.generacodice.com/it/articolo/1118805/come-applicare-il-lemma-di-pompaggio-a-0-m-1-n-meta-2n-leq-m-leq-3n-m-n-geq-0
pumping-lemma
-
regular-languages
-
proof-techniques
cs.stackexchange
Come faccio a spiegare che una riduzione del tempo polinomiale è infatti tempo polinomiale?
https://www.generacodice.com/it/articolo/1118479/come-faccio-a-spiegare-che-una-riduzione-del-tempo-polinomiale-e-infatti-tempo-polinomiale
complexity-theory
-
np-complete
-
proof-techniques
-
reductions
cs.stackexchange
«
47
48
49
50
51
52
»
Risultati trovati: 577