mrp es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Se considera constructivo el axioma antifundamental?
el 21 de Abril, 2019 4 votos - 5 resp
¿Cuando se utiliza un esquema de axioma, estamos implícitamente utilizando un principio de elección?
el 10 de Abril, 2017 6 votos - 2 resp
¿Existen sistemas numéricos correspondientes a cardinalidades superiores a los números reales?
el 3 de Marzo, 2016 22 votos
Últimas Respuestas
- 12 votos
El resultado del algoritmo de Kruskal es un árbol de expansión
el 26 de Abril, 2015 12 votos - 0 votos
No se puede crear un algoritmo para un lenguaje decidible
el 13 de Marzo, 2016 0 votos - 0 votos
Prueba $R$ es una relación de equivalencia.
el 22 de Marzo, 2015 0 votos - 0 votos
¿Cuál es la diferencia entre una relación y un cierre?
el 6 de Diciembre, 2014 0 votos - 1 votos
Problema de construcción de la NFA
el 9 de Febrero, 2015 1 votos - 0 votos
¿Se cierran las lenguas regulares con una operación de barrido completo?
el 27 de Marzo, 2017 0 votos - 0 votos
¿Negar un signo de igualdad?
el 7 de Septiembre, 2015 0 votos
Etiquetas favoritas
- 3 x automata
- 2 x discrete-mathematics
- 2 x cardenales
- 2 x logic
- 2 x infinidad
- 2 x pregunta-teórica
- 2 x la-notación