Preguntas ciencias de proof-theory012

2

2Resp

99Vistas

Demostrar que $∩\mathcal H ⊆ (∩\mathcal F) ∪ (∩\mathcal G)$ .

Resuelta

Preguntado el 20 de Agosto, 2017 por Heptapod

13

2Resp

394Vistas

¿Es posible formalizar la relación entre diferentes pruebas de un mismo teorema?

Resuelta

Preguntado el 27 de Septiembre, 2011 por Max Muller

3

4Resp

1987Vistas

Demostrar que el conjunto de los números naturales Impares es infinito por el Principio de encasillamiento.

Resuelta

Preguntado el 26 de Octubre, 2017 por tigerustin

2

1Resp

97Vistas

Todo entero mayor que 2 tiene una factorización prima (posiblemente no única)

Resuelta

Preguntado el 29 de Agosto, 2021 por Josiah Ober

17

2Resp

48477Vistas

Prueba $\operatorname{Var}(X) = E[X^2] - (E[X])^2$

Resuelta

Preguntado el 18 de Julio, 2016 por user6596353

2

1Resp

867Vistas

La composición de la función medible no es medible: ¿sólo para la medibilidad de Lebesgue?

Resuelta

Preguntado el 19 de Mayo, 2016 por STF

2

1Resp

127Vistas

Un subconjunto de un conjunto finito es finito

Resuelta

Preguntado el 1 de Julio, 2018 por Hrit Roy

3

1Resp

178Vistas

¿Cómo encontrar esta extraña suma?

Abierta

Preguntado el 11 de Marzo, 2017 por Mrigank Shekhar Pathak

2

2Resp

151Vistas

¿Existe algún sistema deductivo finito para la lógica proposicional que sólo utilice reglas unarias?

Resuelta

Preguntado el 4 de Noviembre, 2020 por univalence

2

1Resp

608Vistas

Prueba de Bartle del teorema de convergencia dominante de Lebesgue

Resuelta

Preguntado el 18 de Enero, 2018 por George

2

4Resp

263Vistas

Prueba de que $A \cap B$ y $A \setminus B$ son disjuntos.

Resuelta

Preguntado el 20 de Junio, 2016 por lithium123

1

1Resp

237Vistas

Ayuda a la prueba: los conjuntos periódicos en R forman un álgebra sigma

Resuelta

Preguntado el 23 de Octubre, 2016 por Disco

1

1Resp

687Vistas

Si S es un subconjunto cerrado no vacío bajo la multiplicación de G, demuestre que S es un subgrupo de G

Resuelta

Preguntado el 8 de Junio, 2018 por Arjun Nigam

2

3Resp

122Vistas

Demostrar que $2^{2^{2^{\cdot^{\cdot^{2}}}}} \mod 9 = 7$

Resuelta

Preguntado el 14 de Mayo, 2019 por Witalij

1

1Resp

111Vistas

Prueba de que la MLE de la varianza está sesgada

Resuelta

Preguntado el 25 de Marzo, 2018 por Simone Margaritelli

1

1Resp

127Vistas

Encontrar una función dominante para una secuencia de funciones

Resuelta

Preguntado el 24 de Octubre, 2018 por pilotmath

2

1Resp

4236Vistas

Prueba de la Ley de DeMorgan generalizada

Resuelta

Preguntado el 23 de Noviembre, 2015 por nestorthecat

9

3Resp

6432Vistas

Prueba del isomorfismo del subgrupo conjugado

Resuelta

Preguntado el 7 de Abril, 2014 por Kevin321

1

1Resp

40Vistas

Prueba de las igualdades restantes

Resuelta

Preguntado el 9 de Mayo, 2015 por Jimmy360

2

1Resp

945Vistas

Si una secuencia de operadores acotados converge puntualmente, entonces está acotada en norma

Resuelta

Preguntado el 29 de Noviembre, 2017 por sequence

1

2Resp

221Vistas

La aguja de Buffon. Probabilidad de cruzar la línea.

Resuelta

Preguntado el 6 de Mayo, 2018 por Parseval

1

4Resp

78Vistas

Prueba $3\mathbb{Z}+1=\{6\mathbb{Z}+1\}\cup\{6\mathbb{Z}+4\}$

Resuelta

Preguntado el 24 de Junio, 2016 por Ajay Hopkins

3

1Resp

71Vistas

Demostrar que $M_{n}(R)/M_{n}(I)\cong M_{n}(R/I)$

Resuelta

Preguntado el 14 de Junio, 2018 por A. S. Hopkins

2

1Resp

170Vistas

Dado un gráfico en $n$ vértices encontrar la máxima cantidad de aristas para que pueda ser coloreado sin monocromo $K_m$

Resuelta

Preguntado el 24 de Enero, 2015 por justartem

4

3Resp

1440Vistas

Encuentra un generador de la intersección de dos subgrupos cíclicos, $\langle a^m\rangle\cap\langle a^n\rangle$

Resuelta

Preguntado el 7 de Julio, 2015 por Cay

2

2Resp

92Vistas

Verificación de los valores en el espectro continuo de un operador

Resuelta

Preguntado el 30 de Julio, 2018 por Ryles2014

3

1Resp

142Vistas

Pruebas limpias e inteligentes para demostrar que el automorfismo interno en G es un subgrupo normal del grupo de automorfismos de G

Resuelta

Preguntado el 5 de Enero, 2020 por rui

3

1Resp

148Vistas

Utilizar el mínimo común múltiplo para demostrar que existe un primo entre $2x$ y $3x$

Resuelta

Preguntado el 9 de Diciembre, 2018 por M.S. Dousti

1

1Resp

102Vistas

Desglosando los números a $2$ y $3$ 's

Resuelta

Preguntado el 16 de Febrero, 2021 por Cal

1

1Resp

51Vistas

si $n = a_1a_2 \cdots a_r + 2$ entonces $a_i \nmid n$ para cada número entero $i (1 \leq i \leq r)$ .

Resuelta

Preguntado el 28 de Noviembre, 2018 por user8795

Preguntas ciencias proof-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Demostrar que $∩\mathcal H ⊆ (∩\mathcal F) ∪ (∩\mathcal G)$ .

¿Es posible formalizar la relación entre diferentes pruebas de un mismo teorema?

Demostrar que el conjunto de los números naturales Impares es infinito por el Principio de encasillamiento.

Todo entero mayor que 2 tiene una factorización prima (posiblemente no única)

Prueba $\operatorname{Var}(X) = E[X^2] - (E[X])^2$

La composición de la función medible no es medible: ¿sólo para la medibilidad de Lebesgue?

Un subconjunto de un conjunto finito es finito

¿Cómo encontrar esta extraña suma?

¿Existe algún sistema deductivo finito para la lógica proposicional que sólo utilice reglas unarias?

Prueba de Bartle del teorema de convergencia dominante de Lebesgue

Prueba de que $A \cap B$ y $A \setminus B$ son disjuntos.

Ayuda a la prueba: los conjuntos periódicos en R forman un álgebra sigma

Si S es un subconjunto cerrado no vacío bajo la multiplicación de G, demuestre que S es un subgrupo de G

Demostrar que $2^{2^{2^{\cdot^{\cdot^{2}}}}} \mod 9 = 7$

Prueba de que la MLE de la varianza está sesgada

Encontrar una función dominante para una secuencia de funciones

Prueba de la Ley de DeMorgan generalizada

Prueba del isomorfismo del subgrupo conjugado

Prueba de las igualdades restantes

Si una secuencia de operadores acotados converge puntualmente, entonces está acotada en norma

La aguja de Buffon. Probabilidad de cruzar la línea.

Prueba $3\mathbb{Z}+1=\{6\mathbb{Z}+1\}\cup\{6\mathbb{Z}+4\}$

Demostrar que $M_{n}(R)/M_{n}(I)\cong M_{n}(R/I)$

Dado un gráfico en $n$ vértices encontrar la máxima cantidad de aristas para que pueda ser coloreado sin monocromo $K_m$

Encuentra un generador de la intersección de dos subgrupos cíclicos, $\langle a^m\rangle\cap\langle a^n\rangle$

Verificación de los valores en el espectro continuo de un operador

Pruebas limpias e inteligentes para demostrar que el automorfismo interno en G es un subgrupo normal del grupo de automorfismos de G

Utilizar el mínimo común múltiplo para demostrar que existe un primo entre $2x$ y $3x$

Desglosando los números a $2$ y $3$ 's

si $n = a_1a_2 \cdots a_r + 2$ entonces $a_i \nmid n$ para cada número entero $i (1 \leq i \leq r)$ .

Etiquetas mas usadas

i-Ciencias.com

Powered by: