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-assistants - Esta es la página 1 - GeneraCodice
¿Cuáles fueron las deficiencias del procedimiento de resolución de Robinson?
https://www.generacodice.com/es/articolo/2475739/cuales-fueron-las-deficiencias-del-procedimiento-de-resolucion-de-robinson
logic
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
¿Qué tan difícil sería indicar P contra NP en un asistente de prueba?
https://www.generacodice.com/es/articolo/2474191/que-tan-dificil-seria-indicar-p-contra-np-en-un-asistente-de-prueba
complexity-theory
-
proof-assistants
-
p-vs-np
cs.stackexchange
Dado un arreglo $A$ y un índice $c$, demuestre que siempre existe un subarreglo cuya suma $\pmod {i} = 0$
https://www.generacodice.com/es/articolo/2468778/dado-un-arreglo-a-y-un-indice-c-demuestre-que-siempre-existe-un-subarreglo-cuya-suma-pmod-i-0
proof-assistants
cs.stackexchange
Probando una solución para el rompecabezas de $ n $
https://www.generacodice.com/es/articolo/2468702/probando-una-solucion-para-el-rompecabezas-de-n
combinatorics
-
proof-assistants
-
proof-techniques
cs.stackexchange
en coq:¿Por qué la demostración está completa después de demostrar sólo una inducción cuando tenemos más de una variable?
https://www.generacodice.com/es/articolo/2468046/en-coq-por-que-la-demostracion-esta-completa-despues-de-demostrar-solo-una-induccion-cuando-tenemos-mas-de-una-variable
coq
-
induction
-
proof-assistants
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Encontrar un umbral de tal manera que una función sea siempre más grande que la otra
https://www.generacodice.com/es/articolo/2446159/encontrar-un-umbral-de-tal-manera-que-una-funcion-sea-siempre-mas-grande-que-la-otra
recursion
-
proof-assistants
cs.stackexchange
¿Alguien puede dar un ejemplo de contador?Si un problema está en NP, entonces no hay algoritmo de tiempo polinomial conocido para resolverlo
https://www.generacodice.com/es/articolo/2443619/alguien-puede-dar-un-ejemplo-de-contador-si-un-problema-esta-en-np-entonces-no-hay-algoritmo-de-tiempo-polinomial-conocido-para-resolverlo
np-complete
-
np
-
proof-assistants
cs.stackexchange
Why proving the solution of a problem is polynomial time is sufficient enough to say that it is a NP prolbem? [duplicate]
https://www.generacodice.com/es/articolo/1607585/why-proving-the-solution-of-a-problem-is-polynomial-time-is-sufficient-enough-to-say-that-it-is-a-np-prolbem-duplicate
np
-
proof-assistants
-
proof-techniques
cs.stackexchange
Why cannot match $ Bool \equiv Bool $ with $ refl $ while $1 \equiv 1$ can?
https://www.generacodice.com/es/articolo/1603474/why-cannot-match-bool-equiv-bool-with-refl-while-1-equiv-1-can
proof-assistants
cs.stackexchange
What does it mean if we disable K-rule in Agda?
https://www.generacodice.com/es/articolo/1603441/what-does-it-mean-if-we-disable-k-rule-in-agda
agda
-
proof-assistants
cs.stackexchange
«
1
2
3
4
5
6
»
Resultados encontrados: 75