85
Reputación
Reputación
Nombre : Arctictern
Miembro desde : 21 de Julio, 2015
Arctictern es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
¿Es el conjunto de todos los subconjuntos definibles de los números naturales recursivamente enumerable?
el 15 de Diciembre, 2015 1 votos - 1 resp
GeoPandas devuelve resultados de unión espacial incorrectos. ¿Problema con GDAL? ¿Problema con GEOS?
el 20 de Enero, 2018 2 votos - 2 resp
Que número natural predicados pueden ser definidos en la aritmética de Robinson?
el 9 de Junio, 2019 4 votos - 2 resp
¿Cuál es la menor variedad de álgebras de que contenga todos los campos?
el 2 de Febrero, 2019 5 votos - 1 resp
Modelo simple de lógica intuicionista (proposicional) para reconocer fórmulas válidas
el 30 de Agosto, 2018 4 votos - 1 resp
¿Qué significa que un álgebra libre tenga un problema de palabras irresoluble?
el 28 de Mayo, 2018 4 votos - 1 resp
Puede de segundo orden de la lógica de expresar cada uno (computable) infinitary lógica de la frase?
el 24 de Febrero, 2018 5 votos
Últimas Respuestas
- 1 votos
Utilización de la transformada discreta de Fourier para aproximar la transformada regular de Fourier
el 2 de Septiembre, 2012 1 votos - 1 votos
¿Qué relación hay entre derivados y fronteras?
el 5 de Enero, 2012 1 votos - 6 votos
Intuición geométrica detrás del corchete de Lie de los campos vectoriales
el 27 de Septiembre, 2012 6 votos - 7 votos
¿Deben considerarse los axiomas como parte de la firma?
el 28 de Noviembre, 2013 7 votos - 3 votos
GeoPandas devuelve resultados de unión espacial incorrectos. ¿Problema con GDAL? ¿Problema con GEOS?
el 16 de Enero, 2018 3 votos - 1 votos
¿El resto debe ser siempre positivo?
el 20 de Mayo, 2014 1 votos - 2 votos
Límite del tamaño del conjunto de permutación para el isomorfismo
el 19 de Enero, 2016 2 votos
Etiquetas favoritas
- 13 x lógica
- 10 x pregunta-teórica
- 6 x abstract-algebra
- 6 x solicitud-de-referencia
- 5 x semigrupos
- 5 x conjunto-teórico
- 4 x análisis-de-fourier
