Preguntas ciencias de proof021

29

4Resp

4448Vistas

¿Por qué es tan difícil escribir pruebas completas (verificables por ordenador)?

Resuelta

Preguntado el 11 de Mayo, 2010 por Peter Marshall

3

1Resp

571Vistas

Usando un argumento de energía para el problema de Neumann

Resuelta

Preguntado el 21 de Julio, 2017 por RandomGuestAccount2134

1

1Resp

45Vistas

Mostrando la continuidad de $\operatorname{Id} : (C^0([0,1], L^\infty) \to (C^0([0,1], L^1)$ , pregunta de la prueba

Resuelta

Preguntado el 18 de Abril, 2018 por bernat sopena

2

1Resp

105Vistas

Determinar si una fórmula es válida mediante equivalencias

Resuelta

Preguntado el 17 de Febrero, 2018 por the_martian

1

2Resp

94Vistas

Probabilidad geométrica

Resuelta

Preguntado el 5 de Enero, 2017 por user_99

2

1Resp

59Vistas

Gradiente del resultado transformado esperado con respecto a los parámetros de la distribución

Resuelta

Preguntado el 1 de Noviembre, 2014 por andynormancx

1

1Resp

58Vistas

Demuestre que el comportamiento de $f$ para $z \rightarrow \infty$ se describe exactamente en uno de los tres casos siguientes

Abierta

Preguntado el 16 de Diciembre, 2021 por thombirdy

2

1Resp

92Vistas

¿Cómo puedo deducir (3.6) de (3.5)?

Resuelta

Preguntado el 4 de Julio, 2018 por polpo

1

1Resp

115Vistas

Revisa mi trabajo para el problema de movimiento 2

Resuelta

Preguntado el 14 de Octubre, 2016 por thunderbolt

4

1Resp

150Vistas

¿Existe una versión constructiva de la lógica de Isabelle/HOL?

Resuelta

Preguntado el 29 de Septiembre, 2019 por Blake

33

2Resp

1164Vistas

¿Cuál es el estatus lógico de la frase que combina las ideas de Löb y Rosser, "esta frase es demostrable antes de cualquier prueba de su negación"?

Resuelta

Preguntado el 12 de Agosto, 2022 por thedeeno

1

2Resp

128Vistas

¿Es el conjunto $\{A \in \mathcal{M}(n \times n; \mathbb C ): \rho(A) < 1\}$ ¿abierto?

Resuelta

Preguntado el 16 de Mayo, 2018 por sepehr

4

3Resp

156Vistas

¿es esencial la prueba por contradicción para demostrar el Principio del Casillero?

Resuelta

Preguntado el 4 de Junio, 2022 por ThomasG77

30

2Resp

1296Vistas

Una prueba hábil relacionada con la elección de puntos de un intervalo para

Resuelta

Preguntado el 31 de Marzo, 2010 por David Hicks

4

2Resp

237Vistas

¿Hasta qué punto puedo "disociar" una colección arbitraria de conjuntos?

Resuelta

Preguntado el 28 de Julio, 2018 por palmpo

1

3Resp

324Vistas

Demostrar que $\bigcap_{x\in\mathbb R}[3 - x^2, 5 + x^2]$ está contenida en $[3,5]$ .

Resuelta

Preguntado el 19 de Marzo, 2018 por James Drinkard

2

1Resp

552Vistas

demostrar que si $L(f,P)=U(f,P)$ entonces $f$ es constante en $[a,b]$

Resuelta

Preguntado el 22 de Noviembre, 2013 por Cape Apple

34

3Resp

6343Vistas

Una forma diferente de ver la acción del grupo fundamental sobre grupos de homotopía superiores

Resuelta

Preguntado el 29 de Marzo, 2010 por highBandWidth

1

2Resp

83Vistas

Mostrar el punto superatractivo utilizando la expansión de Taylor

Resuelta

Preguntado el 10 de Octubre, 2017 por sequence

1

1Resp

119Vistas

Otra prueba de la existencia de subsecuencias monótonas

Resuelta

Preguntado el 30 de Enero, 2015 por L.G.

4

3Resp

3634Vistas

Prueba combinatoria de la caída del factorial y del teorema del binomio

Resuelta

Preguntado el 7 de Mayo, 2015 por user8

2

2Resp

104Vistas

Demostración de homeomorfismos entre espacios topológicos sin encontrar funciones explícitas

Resuelta

Preguntado el 27 de Marzo, 2021 por Bruno Baldissera

1

1Resp

67Vistas

Comprobación de la desigualdad

Resuelta

Preguntado el 25 de Julio, 2018 por Derek

1

1Resp

36Vistas

Necesito ayuda con la verificación de pruebas sobre supremos e infemos

Abierta

Preguntado el 12 de Marzo, 2019 por Ash

1

1Resp

68Vistas

Prueba de ello: $n! = \Omega (5^{\log n})$

Resuelta

Preguntado el 9 de Noviembre, 2019 por C. Cristi

3

2Resp

63Vistas

Demostrar que existe N ∈ (N) (naturales) tal que $a_n$ > 0 para todo n ≥ N.

Resuelta

Preguntado el 15 de Marzo, 2021 por red

1

2Resp

378Vistas

Unicidad del objeto inicial, o ¿por qué un morfismo de un objeto a sí mismo debe ser la identidad?

Resuelta

Preguntado el 19 de Junio, 2014 por Jannik

1

1Resp

10294Vistas

Hallar el volumen del cuerpo delimitado por $z = x^2 + y^2, z= 1-x^2-y^2$ .

Resuelta

Preguntado el 7 de Julio, 2013 por Sharath Chandra

2

1Resp

725Vistas

Demostrar que dos normas son equivalentes

Resuelta

Preguntado el 4 de Septiembre, 2013 por Ana Galois

14

1Resp

1612Vistas

Demostrando que la fibra de un morfismo de esquemas sobre un punto es homeomorfa a la preimagen

Resuelta

Preguntado el 22 de Septiembre, 2017 por Luke

Preguntas ciencias proof

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Por qué es tan difícil escribir pruebas completas (verificables por ordenador)?

Usando un argumento de energía para el problema de Neumann

Mostrando la continuidad de $\operatorname{Id} : (C^0([0,1], L^\infty) \to (C^0([0,1], L^1)$ , pregunta de la prueba

Determinar si una fórmula es válida mediante equivalencias

Probabilidad geométrica

Gradiente del resultado transformado esperado con respecto a los parámetros de la distribución

Demuestre que el comportamiento de $f$ para $z \rightarrow \infty$ se describe exactamente en uno de los tres casos siguientes

¿Cómo puedo deducir (3.6) de (3.5)?

Revisa mi trabajo para el problema de movimiento 2

¿Existe una versión constructiva de la lógica de Isabelle/HOL?

¿Cuál es el estatus lógico de la frase que combina las ideas de Löb y Rosser, "esta frase es demostrable antes de cualquier prueba de su negación"?

¿Es el conjunto $\{A \in \mathcal{M}(n \times n; \mathbb C ): \rho(A) < 1\}$ ¿abierto?

¿es esencial la prueba por contradicción para demostrar el Principio del Casillero?

Una prueba hábil relacionada con la elección de puntos de un intervalo para

¿Hasta qué punto puedo "disociar" una colección arbitraria de conjuntos?

Demostrar que $\bigcap_{x\in\mathbb R}[3 - x^2, 5 + x^2]$ está contenida en $[3,5]$ .

demostrar que si $L(f,P)=U(f,P)$ entonces $f$ es constante en $[a,b]$

Una forma diferente de ver la acción del grupo fundamental sobre grupos de homotopía superiores

Mostrar el punto superatractivo utilizando la expansión de Taylor

Otra prueba de la existencia de subsecuencias monótonas

Prueba combinatoria de la caída del factorial y del teorema del binomio

Demostración de homeomorfismos entre espacios topológicos sin encontrar funciones explícitas

Comprobación de la desigualdad

Necesito ayuda con la verificación de pruebas sobre supremos e infemos

Prueba de ello: $n! = \Omega (5^{\log n})$

Demostrar que existe N ∈ (N) (naturales) tal que $a_n$ > 0 para todo n ≥ N.

Unicidad del objeto inicial, o ¿por qué un morfismo de un objeto a sí mismo debe ser la identidad?

Hallar el volumen del cuerpo delimitado por $z = x^2 + y^2, z= 1-x^2-y^2$ .

Demostrar que dos normas son equivalentes

Demostrando que la fibra de un morfismo de esquemas sobre un punto es homeomorfa a la preimagen

Etiquetas mas usadas

i-Ciencias.com

Powered by: