Andrea Girardi es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Gradualidad de los reconocedores de tiempo polinómico
el 24 de Octubre, 2018 4 votos - 2 resp
Pregunta sobre el P contra problema de NP
el 3 de Agosto, 2017 5 votos - 3 resp
¿Teórica de Gödel?
el 30 de Julio, 2017 6 votos - 2 resp
¿Ha sido admitido el teorema de Four-Color?
el 26 de Abril, 2017 6 votos
Últimas Respuestas
- 6 votos
comprobar la equivalencia lógica booleana
el 4 de Diciembre, 2014 6 votos - 2 votos
Equivalentes informales de "Set" y "SetDelayed" de Mathematica
el 23 de Mayo, 2011 2 votos - 0 votos
¿Cómo encontrar una expresión para un número mediante un conjunto dado de operadores matemáticos y constantes?
el 31 de Octubre, 2014 0 votos - 0 votos
¿sistema formal de Semantics(Truth) vs?
el 27 de Noviembre, 2014 0 votos - 0 votos
¿Definición de la Unión de las estructuras?
el 28 de Marzo, 2011 0 votos - 1 votos
La congruencia de los términos
el 5 de Mayo, 2011 1 votos - 2 votos
P vs NP y Gödel
el 4 de Mayo, 2011 2 votos
Etiquetas favoritas
- 6 x lógica
- 4 x pregunta-teórica
- 4 x en-computación
- 3 x matemáticas
- 2 x matemáticas-historia
- 2 x gran-lista
- 2 x ag.algebraic-geometría