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 induction - Esta es la página 6 - GeneraCodice
Proving that grammar generates language with multi variable inequalities
https://www.generacodice.com/es/articolo/2480273/proving-that-grammar-generates-language-with-multi-variable-inequalities
induction
-
context-free
cs.stackexchange
how can i prove the following algorithm?
https://www.generacodice.com/es/articolo/2479650/how-can-i-prove-the-following-algorithm
logic
-
discrete-mathematics
-
induction
-
algorithms
-
algorithm-analysis
cs.stackexchange
¿Por qué las pruebas matemáticas son tan difíciles?
https://www.generacodice.com/es/articolo/2474655/por-que-las-pruebas-matematicas-son-tan-dificiles
induction
-
proof-techniques
cs.stackexchange
Demostrar la construcción de un BST equilibrado fuera de la matriz ordenada es $ \ THETA (N) $
https://www.generacodice.com/es/articolo/2468692/demostrar-la-construccion-de-un-bst-equilibrado-fuera-de-la-matriz-ordenada-es-theta-n
induction
-
asymptotics
-
runtime-analysis
-
recurrence-relation
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
Demostrar por inducción de que la forma de recurrencia de tipo de burbuja es $ \ OMEGA (N ^ 2) $
https://www.generacodice.com/es/articolo/2465368/demostrar-por-induccion-de-que-la-forma-de-recurrencia-de-tipo-de-burbuja-es-omega-n-2
time-complexity
-
induction
-
recurrence-relation
cs.stackexchange
Dado un torneo con $ 2 ^ n $ vértices, muestre que hay un sub-torneo con al menos $ N + 1 $ vértices que son acíclicos
https://www.generacodice.com/es/articolo/2464214/dado-un-torneo-con-2-n-vertices-muestre-que-hay-un-sub-torneo-con-al-menos-n-1-vertices-que-son-aciclicos
induction
-
algorithms
-
graphs
-
dag
cs.stackexchange
¿Cuándo se puede usar la hipótesis de coinducción?
https://www.generacodice.com/es/articolo/2461736/cuando-se-puede-usar-la-hipotesis-de-coinduccion
logic
-
coq
-
isabelle
-
induction
-
coinduction
cs.stackexchange
¿Qué esquemas inductivos pueden codificar la siguiente definición de Agda?
https://www.generacodice.com/es/articolo/2452322/que-esquemas-inductivos-pueden-codificar-la-siguiente-definicion-de-agda
agda
-
induction
cs.stackexchange
Resolviendo un problema con la inducción.
https://www.generacodice.com/es/articolo/2447741/resolviendo-un-problema-con-la-induccion
induction
cs.stackexchange
«
3
4
5
6
7
8
»
Resultados encontrados: 182