Preguntas ciencias de proof-theory

24

2Resp

29546Vistas

Prueba del método de Box-Muller

Resuelta

Preguntado el 19 de Enero, 2015 por Ystar

6

0Resp

218Vistas

¿Cómo probar rigurosamente que $|A|\neq|A\cup B|$, cuando $B\not\subseteq A$ y $A$ es finito?

Resuelta

Preguntado el 19 de Agosto, 2021 por Graviton

24

3Resp

2757Vistas

La rápida convergencia en $L^1$ implica convergencia casi en todas partes

Resuelta

Preguntado el 24 de Diciembre, 2015 por Terry Phan

4

4Resp

445Vistas

$f(x) + f(x/2) + f(x/3) + f(x/4) + ... = x$ y $\lim_{n \to \infty} \frac{f(n)}{\pi(n)} = 1$?

Resuelta

Preguntado el 25 de Junio, 2023 por aldrinleal

1

1Resp

182Vistas

Descifrando la prueba de SLLN

Resuelta

Preguntado el 18 de Abril, 2015 por Sunrising

2

1Resp

890Vistas

(De Artin) Demuestra la fórmula general del discriminante de $x^n + px + q$ para $n ≥ 2$

Resuelta

Preguntado el 27 de Febrero, 2017 por Y.X.

25

1Resp

1397Vistas

¿Hay una demostración teórica de grupo de que $(\mathbf Z/(p))^\times$ es cíclico?

Abierta

Preguntado el 17 de Febrero, 2020 por Leo

2

2Resp

147Vistas

Demuestra que $f(A \cup B) = f(A) \cup f(B)$ donde $f: X \rightarrow Y$

Resuelta

Preguntado el 15 de Septiembre, 2014 por btelles

5

1Resp

71Vistas

Criterio para la consistencia de los sistemas de tipos puros

Abierta

Preguntado el 30 de Mayo, 2021 por japhet mlay

3

1Resp

262Vistas

Dimensión del Movimiento Browniano

Resuelta

Preguntado el 26 de Agosto, 2017 por JSharpee

2

4Resp

1908Vistas

Demostrar que hay un conjunto único $X$ tal que cada conjunto $Y$, $Y∪X = Y$

Resuelta

Preguntado el 27 de Enero, 2016 por Jeff Bridges

2

2Resp

101Vistas

Ejemplo de continuidad de medida y convergencia en medida

Resuelta

Preguntado el 28 de Octubre, 2019 por stat

27

4Resp

64707Vistas

Prueba que la raíz cuadrada de un número entero positivo es un entero o irracional

Resuelta

Preguntado el 30 de Enero, 2017 por Chris Heegard

2

1Resp

149Vistas

$X = f^{-1}(f(X))$ si y solo si $X = f^{-1}(Z)$ para algun $Z \subseteq B$

Resuelta

Preguntado el 6 de Julio, 2020 por Air Mike

1

3Resp

103Vistas

¿Cómo demostrar que los números triangulares siguen el patrón de ser impar, impar, par, par, impar, impar...?

Resuelta

Preguntado el 1 de Diciembre, 2023 por Hal J

28

2Resp

71642Vistas

Si $G$ es un grupo de orden par, demuestra que tiene un elemento $a\neq e$ tal que $a^2=e$.

Resuelta

Preguntado el 20 de Enero, 2015 por user136266

5

3Resp

7935Vistas

Demuestra que $\mathbb{Z}[i]$ es un dominio integral.

Resuelta

Preguntado el 25 de Marzo, 2018 por numericalorange

6

2Resp

3251Vistas

Pregunta sobre la demostración del teorema de mapeo espectral para polinomios

Resuelta

Preguntado el 25 de Octubre, 2019 por Viktor Glombik

1

2Resp

62Vistas

Mostrar $a_1 \mathbb Z · a_2 \mathbb Z$ = $(a_1 · a_2)$ · $\mathbb Z$

Resuelta

Preguntado el 14 de Septiembre, 2019 por JOJO

1

2Resp

91Vistas

Pregunta sobre pasos específicos de la demostración del lema de Fatou.

Resuelta

Preguntado el 17 de Junio, 2020 por yi G

1

1Resp

655Vistas

Versión generalizada del Tercer Lema de le Cam

Resuelta

Preguntado el 15 de Diciembre, 2015 por STF

1

1Resp

199Vistas

Verificación de mi prueba de que $|G|=35$ tiene subgrupos normales de órdenes 5 y 7.

Resuelta

Preguntado el 5 de Noviembre, 2018 por Thomas S.

2

1Resp

114Vistas

Verificación de Prueba. Teoría de Grupos.

Resuelta

Preguntado el 10 de Noviembre, 2017 por Manolis Lyviakis

39

1Resp

1566Vistas

¿Puedes hacer la trivialidad de $\langle a, b, c \mid aba^{-1} = b^2, bcb^{-1} = c^2, cac^{-1} = a^2 \rangle$ más trivial?

Resuelta

Preguntado el 4 de Enero, 2019 por user2318170

1

1Resp

111Vistas

Si $D_1, D_2 \in \mathbb R ^2, D_1 \cap D_2 \neq \emptyset$ son dos discos abiertos, entonces $\exists D_{(a, b)} \subset D_1 \cap D_2$

Resuelta

Preguntado el 7 de Julio, 2020 por Eduude

2

1Resp

306Vistas

Encuentra una estrategia ganadora en un juego de piedra.

Resuelta

Preguntado el 31 de Octubre, 2020 por Omer

3

1Resp

574Vistas

Mostrar que la monotonía sigue directamente de la aditividad numerable

Resuelta

Preguntado el 19 de Marzo, 2016 por Female Tank

2

2Resp

136Vistas

Un intento de demostrar el teorema de Cauchy para grupos abelianos mediante el uso de series de composición.

Resuelta

Preguntado el 22 de Enero, 2019 por Escadara

1

1Resp

277Vistas

Mostrar la equi-integrabilidad de un conjunto finito de funciones de $\mathcal{L}_{\mu}^1$

Resuelta

Preguntado el 11 de Febrero, 2014 por mobile-stream support

4

1Resp

1104Vistas

Supongamos que el grado máximo de un grafo es menor o igual a 2, entonces todos los componentes son caminos o ciclos

Resuelta

Preguntado el 1 de Octubre, 2017 por Detective Mooch

Preguntas ciencias proof-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Prueba del método de Box-Muller

¿Cómo probar rigurosamente que $|A|\neq|A\cup B|$, cuando $B\not\subseteq A$ y $A$ es finito?

La rápida convergencia en $L^1$ implica convergencia casi en todas partes

$f(x) + f(x/2) + f(x/3) + f(x/4) + ... = x$ y $\lim_{n \to \infty} \frac{f(n)}{\pi(n)} = 1$?

Descifrando la prueba de SLLN

(De Artin) Demuestra la fórmula general del discriminante de $x^n + px + q$ para $n ≥ 2$

¿Hay una demostración teórica de grupo de que $(\mathbf Z/(p))^\times$ es cíclico?

Demuestra que $f(A \cup B) = f(A) \cup f(B)$ donde $f: X \rightarrow Y$

Criterio para la consistencia de los sistemas de tipos puros

Dimensión del Movimiento Browniano

Demostrar que hay un conjunto único $X$ tal que cada conjunto $Y$, $Y∪X = Y$

Ejemplo de continuidad de medida y convergencia en medida

Prueba que la raíz cuadrada de un número entero positivo es un entero o irracional

$X = f^{-1}(f(X))$ si y solo si $X = f^{-1}(Z)$ para algun $Z \subseteq B$

¿Cómo demostrar que los números triangulares siguen el patrón de ser impar, impar, par, par, impar, impar...?

Si $G$ es un grupo de orden par, demuestra que tiene un elemento $a\neq e$ tal que $a^2=e$.

Demuestra que $\mathbb{Z}[i]$ es un dominio integral.

Pregunta sobre la demostración del teorema de mapeo espectral para polinomios

Mostrar $a_1 \mathbb Z · a_2 \mathbb Z$ = $(a_1 · a_2)$ · $\mathbb Z$

Pregunta sobre pasos específicos de la demostración del lema de Fatou.

Versión generalizada del Tercer Lema de le Cam

Verificación de mi prueba de que $|G|=35$ tiene subgrupos normales de órdenes 5 y 7.

Verificación de Prueba. Teoría de Grupos.

¿Puedes hacer la trivialidad de $\langle a, b, c \mid aba^{-1} = b^2, bcb^{-1} = c^2, cac^{-1} = a^2 \rangle$ más trivial?

Si $D_1, D_2 \in \mathbb R ^2, D_1 \cap D_2 \neq \emptyset$ son dos discos abiertos, entonces $\exists D_{(a, b)} \subset D_1 \cap D_2$

Encuentra una estrategia ganadora en un juego de piedra.

Mostrar que la monotonía sigue directamente de la aditividad numerable

Un intento de demostrar el teorema de Cauchy para grupos abelianos mediante el uso de series de composición.

Mostrar la equi-integrabilidad de un conjunto finito de funciones de $\mathcal{L}_{\mu}^1$

Supongamos que el grado máximo de un grafo es menor o igual a 2, entonces todos los componentes son caminos o ciclos

Etiquetas mas usadas

i-Ciencias.com

Powered by: