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 - Esta es la página 15 - GeneraCodice
Mostrar cadenas de bits con recuento(1s) = recuento(0s) no es regular
https://www.generacodice.com/es/articolo/2020858/mostrar-cadenas-de-bits-con-recuento-1s-recuento-0s-no-es-regular
algorithm
-
regex
-
proof
-
automata
-
regular-language
StackOverflow
General proof strategies to show correctness of recursive functions?
https://www.generacodice.com/es/articolo/1817482/general-proof-strategies-to-show-correctness-of-recursive-functions
math
-
algorithm
-
recurrence
-
proof
StackOverflow
Es esto siempre cierto: FMAP (Foldr F Z).secuencea= plegr (LIFTA2 F) (puro z)
https://www.generacodice.com/es/articolo/1792419/es-esto-siempre-cierto-fmap-foldr-f-z-secuencea-plegr-lifta2-f-puro-z
haskell
-
proof
StackOverflow
Cadena a la corrección de cadena Problema NP-integridad
https://www.generacodice.com/es/articolo/1771925/cadena-a-la-correccion-de-cadena-problema-np-integridad
algorithm
-
theory
-
complexity-theory
-
np-complete
-
proof
StackOverflow
C # CONTRATOS DE CÓDIGO: ¿Qué puede probarse estáticamente y qué no puede?
https://www.generacodice.com/es/articolo/1766207/c-sharp-contratos-de-codigo-que-puede-probarse-estaticamente-y-que-no-puede
c#
-
static-analysis
-
proof
-
code-contracts
StackOverflow
(log n) ^ k= o (n)?Para k mayor o igual a 1
https://www.generacodice.com/es/articolo/1765443/log-n-k-o-n-para-k-mayor-o-igual-a-1
big-o
-
logarithm
-
proof
-
notation
StackOverflow
¿Generador de números aleatorios defectuosos?
https://www.generacodice.com/es/articolo/1695359/generador-de-numeros-aleatorios-defectuosos
python
-
random
-
correctness
-
proof
-
probability
StackOverflow
proof of correctness by loop invariant (induction)
https://www.generacodice.com/es/articolo/1663612/proof-of-correctness-by-loop-invariant-induction
math
-
PHP
-
proof
-
loop-invariant
StackOverflow
¿Cómo demostrar por inducción que una parábola correspondiente a dos bordes se cruza en atmost 2 puntos?
https://www.generacodice.com/es/articolo/1466472/como-demostrar-por-induccion-que-una-parabola-correspondiente-a-dos-bordes-se-cruza-en-atmost-2-puntos
math
-
algorithm
-
theory
-
proof
StackOverflow
Probar que reverso = rev
https://www.generacodice.com/es/articolo/1456138/probar-que-reverso-rev
haskell
-
proof
-
equivalent
StackOverflow
«
12
13
14
15
16
17
»
Resultados encontrados: 190