764
Reputación
Reputación
Nombre : boumol
Miembro desde : 15 de Enero, 2016
boumol es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Indistinibilidad de primer orden de "el continuo"
el 28 de Agosto, 2018 4 votos - 1 resp
(De la onu)Decidability de válido, pero no finitely-conste fórmulas
el 3 de Abril, 2018 4 votos - 1 resp
Mutuo Singularidad de las Operaciones en el PA de los modelos
el 9 de Enero, 2018 5 votos - 2 resp
¿Ejemplo de una Teoría Lógica Indecidible que es una extensión de una Teoría Lógica Decidible?
el 19 de Agosto, 2017 6 votos - 2 resp
¿Cuándo fue el concepto de la FPGA inventado?
el 15 de Agosto, 2017 6 votos - 3 resp
- 1 resp
Software para algunos problemas de álgebra universal
el 24 de Diciembre, 2016 8 votos
Últimas Respuestas
- 4 votos
Matemático (no lógico) busca referencia de Gödel ' teoremas del estado incompleto de s
el 19 de Julio, 2011 4 votos - 5 votos
Confusión de decidability de $(N,s)$
el 25 de Febrero, 2013 5 votos - 4 votos
Texto introductorio para la red de la teoría de la
el 9 de Agosto, 2012 4 votos - 5 votos
Ejemplos ilustrativos de un fenómeno de la lógica de la inducción matemática
el 22 de Julio, 2013 5 votos - 10 votos
¿Hay algo profundo sobre los conjuntos difusos/lógica difusa?
el 6 de Febrero, 2012 10 votos - 12 votos
Hay una manera fácil de ver la asociatividad o no la asociatividad de una operación de la mesa?
el 9 de Julio, 2012 12 votos
Etiquetas favoritas
- 9 x lógica
- 7 x model-teoría
- 4 x electrónica
- 2 x solicitud-de-referencia
- 1 x grupos-finitos
- 1 x conjunto-teórico
- 1 x cayley-tabla
