Española
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artículos completos
Categorías
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Usted escribe
Usuario
Acceso
Registro
Recuperación de contraseña
Etiquetas
Etiquetas de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Etiqueta proof-techniques - Esta es la página 53 - GeneraCodice
Cómo mostrar que el lenguaje dado es inequívoco
https://www.generacodice.com/es/articolo/1111526/como-mostrar-que-el-lenguaje-dado-es-inequivoco
formal-languages
-
ambiguity
-
formal-grammars
-
context-free
-
proof-techniques
cs.stackexchange
Pruebas basadas en la reducción de conjuntos de posibilidades
https://www.generacodice.com/es/articolo/1111134/pruebas-basadas-en-la-reduccion-de-conjuntos-de-posibilidades
proof-techniques
-
lower-bounds
cs.stackexchange
¿Cómo mostrar la composición de la función de una manera no es tal?
https://www.generacodice.com/es/articolo/1110576/como-mostrar-la-composicion-de-la-funcion-de-una-manera-no-es-tal
cryptography
-
proof-techniques
-
one-way-functions
cs.stackexchange
¿Cómo determinar el tiempo de ejecución polinomial de una reducción de NP?
https://www.generacodice.com/es/articolo/1110550/como-determinar-el-tiempo-de-ejecucion-polinomial-de-una-reduccion-de-np
complexity-theory
-
np-complete
-
proof-techniques
-
reductions
cs.stackexchange
Buscando pruebas alternativas sobre el cierre de idiomas recursivamente enumerables
https://www.generacodice.com/es/articolo/1110165/buscando-pruebas-alternativas-sobre-el-cierre-de-idiomas-recursivamente-enumerables
computability
-
formal-languages
-
closure-properties
-
proof-techniques
cs.stackexchange
Ventajas del análisis amortizado
https://www.generacodice.com/es/articolo/1110050/ventajas-del-analisis-amortizado
amortized-analysis
-
algorithm-analysis
-
proof-techniques
cs.stackexchange
Resolución de recurrencia con logaritmo cuadrado $ t (n) = 2t (n/2) + n log^2n $
https://www.generacodice.com/es/articolo/1109971/resolucion-de-recurrencia-con-logaritmo-cuadrado-t-n-2t-n-2-n-log-2n
asymptotics
-
proof-techniques
-
recurrence-relation
cs.stackexchange
NP -Completitud - Prueba por restricción
https://www.generacodice.com/es/articolo/1108682/np-completitud-prueba-por-restriccion
complexity-theory
-
np-complete
-
proof-techniques
cs.stackexchange
Relación de recurrencia para la complejidad del tiempo $ t (n) = t (n-1) + n^2 $
https://www.generacodice.com/es/articolo/1108199/relacion-de-recurrencia-para-la-complejidad-del-tiempo-t-n-t-n-1-n-2
time-complexity
-
algorithm-analysis
-
proof-techniques
-
recurrence-relation
cs.stackexchange
¿Cómo demostrar o refutar que F es computable?
https://www.generacodice.com/es/articolo/1108191/como-demostrar-o-refutar-que-f-es-computable
computability
-
proof-techniques
cs.stackexchange
«
50
51
52
53
54
55
»
Resultados encontrados: 577