3237
Reputación
Reputación
Nombre : Amir
Miembro desde : 12 de Enero, 2015
Amir es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 4 resp
Finalización de una categoría.
el 3 de Diciembre, 2019 38 votos - 2 resp
¿Cómo puedo realizar ingeniería inversa de un simple taladro de la junta?
el 29 de Enero, 2016 33 votos
Últimas Respuestas
- 3 votos
Exhaustividad frente a compacidad en lógica
el 25 de Junio, 2011 3 votos - 7 votos
Transformaciones naturales como homotopías categóricas
el 9 de Mayo, 2011 7 votos - 4 votos
¿Un lenguaje de programación que sólo puede crear algoritmos con tiempo de ejecución polinómico?
el 4 de Febrero, 2012 4 votos - 10 votos
(Fri)end(l)a manera de expresar los levantamientos de Kan
el 29 de Noviembre, 2013 10 votos - 8 votos
Máquinas de Turing no deterministas y el teorema de recursión
el 19 de Octubre, 2013 8 votos - 4 votos
Los conjuntos en lógica matemática
el 24 de Abril, 2011 4 votos - 4 votos
¿Existe una prueba constructiva del teorema de Cantor-Bernstein-Schroeder?
el 19 de Marzo, 2013 4 votos
Etiquetas favoritas
- 9 x matemáticas
- 3 x lo.lógica
- 2 x ct.category-theory
- 2 x lo.logic
- 2 x ct.category-teoría
- 1 x guía-informativa
- 1 x electrónica
