93
Reputación
Reputación
Nombre : swdev
Miembro desde : 7 de Enero, 2016
swdev es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
¿Conocer el concepto de un número ayuda a factorizarlo?
el 20 de Octubre, 2018 7 votos - 2 resp
¿Es posible calcular los factoriales convirtiéndolos en multiplicaciones de matrices?
el 14 de Febrero, 2018 6 votos - 1 resp
¿Cuál es la distribución asintótica de $p^n$ (potencias de primos)?
el 14 de Mayo, 2017 8 votos
Últimas Respuestas
- 1 votos
¿G es isomorfo a $\mathbb{Z} \oplus \mathbb{Z}$ ?
el 4 de Mayo, 2013 1 votos - 0 votos
Representación no-singular-no-redundante de rotaciones y escalas en 3 dimensiones
el 3 de Mayo, 2013 0 votos - 24 votos
¿Se ha demostrado algún resultado previamente desconocido mediante un probador de teoremas automatizado?
el 10 de Agosto, 2012 24 votos - 4 votos
¿Puede proporcionarme ejemplos históricos de cómo las matemáticas puras han llegado a ser "útiles"?
el 17 de Enero, 2013 4 votos - 4 votos
Demostrar que el complemento de$\mathbb{Q} \times \mathbb{Q}$. En el plano$\mathbb{R}^2$ está conectado.
el 4 de Mayo, 2013 4 votos - 8 votos
¿Cuál es la menor función del cálculo de la lambda que genera todas las funciones de cálculo de la lambda?
el 8 de Agosto, 2012 8 votos - 3 votos
Demostrar p a partir de ¬¬p
el 9 de Junio, 2013 3 votos
Etiquetas favoritas
- 5 x lógica
- 4 x lógica-proposicional
- 3 x pregunta-teórica
- 3 x lambda-cálculo
- 2 x axioma
- 2 x filosofía
- 2 x gran-lista
