Preguntas ciencias de proof-theory09

3

3Resp

544Vistas

Uniones e intersecciones arbitrarias notación/ayuda a la prueba

Resuelta

Preguntado el 14 de Febrero, 2017 por ECollins

2

2Resp

90Vistas

Comprensión de una prueba para grupos cíclicos

Resuelta

Preguntado el 7 de Agosto, 2018 por numericalorange

64

14Resp

5161Vistas

¿Qué es una prueba?

Resuelta

Preguntado el 21 de Mayo, 2013 por Usuario no registrado

4

1Resp

2171Vistas

Soluble implica que el grupo cociente es soluble: Comprobación de la prueba.

Resuelta

Preguntado el 28 de Agosto, 2014 por user8476

2

2Resp

107Vistas

Demostración del resultado de integración de Lebesgue

Resuelta

Preguntado el 11 de Julio, 2014 por Павле

3

1Resp

115Vistas

¿Esta prueba para si $0 < a < b$ entonces $a^2 < b^2$ ¿correcto?

Resuelta

Preguntado el 29 de Agosto, 2018 por redbandit

1

1Resp

147Vistas

Subgrupo abeliano y proposición $ab^{-1}$

Resuelta

Preguntado el 6 de Noviembre, 2017 por Pedro Gomes

3

1Resp

928Vistas

Si $R$ es un dominio integral, entonces $(R[x])^\times=R^\times$

Resuelta

Preguntado el 4 de Noviembre, 2015 por richb

2

1Resp

232Vistas

¿Cuál es el grupo de automorfismo de $D_5$ (y, en general, de $D_n$ )?

Resuelta

Preguntado el 16 de Octubre, 2018 por Maynza

1

2Resp

83Vistas

Prueba de la primacía $p\mid ab\,\Rightarrow\, p\mid a\,$ o $\,p\mid b\,$ sin utilizar el Teorema Fundamental de la Aritmética

Resuelta

Preguntado el 1 de Marzo, 2017 por MIT

3

1Resp

262Vistas

Si $X$ es una métrica, entonces $X$ es compacto si y sólo si $X$ es secuencialmente compacta - uso del axioma de elección

Resuelta

Preguntado el 7 de Marzo, 2016 por Irregular User

72

30Resp

8274Vistas

¿El infinito puede acortar mucho las pruebas?

Resuelta

Preguntado el 17 de Noviembre, 2009 por bneely

1

2Resp

254Vistas

Demuestra que $\lim_{p \to \infty} \| f \|_p = \| f \|_\infty$

Resuelta

Preguntado el 8 de Diciembre, 2014 por Mary Star

1

1Resp

479Vistas

¿El encadenamiento hacia adelante es también una forma de enfoque?

Resuelta

Preguntado el 28 de Mayo, 2011 por Usuario no registrado

1

2Resp

77Vistas

Propiedad de los conjuntos contablemente infinitos

Resuelta

Preguntado el 9 de Febrero, 2022 por FranP97

1

1Resp

796Vistas

Teorema 4.3 aproximación de funciones medibles con funciones escalonadas

Resuelta

Preguntado el 21 de Enero, 2017 por CWL

63

8Resp

13902Vistas

¿Reducción al absurdo o el contrapositivo?

Resuelta

Preguntado el 19 de Enero, 2010 por martinatime

51

5Resp

8431Vistas

Pruebas alternativas que $A_5$ es simple

Resuelta

Preguntado el 12 de Marzo, 2013 por Usuario no registrado

2

1Resp

166Vistas

¿Cómo escribir una prueba rigurosa de la biyección?

Resuelta

Preguntado el 1 de Noviembre, 2015 por Rescy_

3

1Resp

223Vistas

AKS - demostrando que $\frac{n}{p}$ es introspectivo

Resuelta

Preguntado el 29 de Noviembre, 2018 por Lior

3

1Resp

95Vistas

En un límite inferior para $\sum_{k=1}^{n}{\sigma(k)}$

Resuelta

Preguntado el 25 de Febrero, 2016 por Ash

1

1Resp

63Vistas

$ \mathbb{Z}_{2} \times S_{3} \simeq D_{6} $

Resuelta

Preguntado el 5 de Abril, 2016 por Iuri Cavallet

2

1Resp

129Vistas

Cálculo de la altura/profundidad de un corte en Sequent Calculus

Resuelta

Preguntado el 23 de Febrero, 2019 por David 天宇 Wong

7

2Resp

1874Vistas

Diferencia entre solidez y corrección

Resuelta

Preguntado el 6 de Septiembre, 2013 por Mic

1

1Resp

5632Vistas

Un grafo es bipartito si sus ciclos son pares. (necesito ayuda con la prueba)

Resuelta

Preguntado el 14 de Abril, 2017 por TheLast Cipher

9

1Resp

1502Vistas

caracterizaciones equivalentes de anillos de valoración discretos

Resuelta

Preguntado el 22 de Marzo, 2017 por MatheiBoulomenos

6

3Resp

1118Vistas

complejidad computacional de las funciones recursivas primitivas

Resuelta

Preguntado el 25 de Mayo, 2012 por kdenney

12

1Resp

567Vistas

Aritmética intuitiva de Robinson

Resuelta

Preguntado el 8 de Enero, 2016 por James Wilsenach

2

1Resp

283Vistas

cardinalidad de un conjunto de rectángulos no superpuestos en el plano

Resuelta

Preguntado el 5 de Enero, 2018 por GSofer

1

2Resp

120Vistas

Pregunta sobre la demostración de que hay infinitos primos de la forma 4n+1

Resuelta

Preguntado el 26 de Septiembre, 2019 por Samuel Kim

Preguntas ciencias proof-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Uniones e intersecciones arbitrarias notación/ayuda a la prueba

Comprensión de una prueba para grupos cíclicos

¿Qué es una prueba?

Soluble implica que el grupo cociente es soluble: Comprobación de la prueba.

Demostración del resultado de integración de Lebesgue

¿Esta prueba para si $0 < a < b$ entonces $a^2 < b^2$ ¿correcto?

Subgrupo abeliano y proposición $ab^{-1}$

Si $R$ es un dominio integral, entonces $(R[x])^\times=R^\times$

¿Cuál es el grupo de automorfismo de $D_5$ (y, en general, de $D_n$ )?

Prueba de la primacía $p\mid ab\,\Rightarrow\, p\mid a\,$ o $\,p\mid b\,$ sin utilizar el Teorema Fundamental de la Aritmética

Si $X$ es una métrica, entonces $X$ es compacto si y sólo si $X$ es secuencialmente compacta - uso del axioma de elección

¿El infinito puede acortar mucho las pruebas?

Demuestra que $\lim_{p \to \infty} \| f \|_p = \| f \|_\infty$

¿El encadenamiento hacia adelante es también una forma de enfoque?

Propiedad de los conjuntos contablemente infinitos

Teorema 4.3 aproximación de funciones medibles con funciones escalonadas

¿Reducción al absurdo o el contrapositivo?

Pruebas alternativas que $A_5$ es simple

¿Cómo escribir una prueba rigurosa de la biyección?

AKS - demostrando que $\frac{n}{p}$ es introspectivo

En un límite inferior para $\sum_{k=1}^{n}{\sigma(k)}$

$ \mathbb{Z}_{2} \times S_{3} \simeq D_{6} $

Cálculo de la altura/profundidad de un corte en Sequent Calculus

Diferencia entre solidez y corrección

Un grafo es bipartito si sus ciclos son pares. (necesito ayuda con la prueba)

caracterizaciones equivalentes de anillos de valoración discretos

complejidad computacional de las funciones recursivas primitivas

Aritmética intuitiva de Robinson

cardinalidad de un conjunto de rectángulos no superpuestos en el plano

Pregunta sobre la demostración de que hay infinitos primos de la forma 4n+1

Etiquetas mas usadas

i-Ciencias.com

Powered by: