CANDY es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
Lógica formal detrás de la definición de variables en una prueba (no E.I. o U.G., etc.)
el 8 de Diciembre, 2018 7 votos - 3 resp
Definir nuevos símbolos en una prueba, ¿cuándo está justificado?
el 13 de Julio, 2018 5 votos - 1 resp
La Idea de una prueba por contradicción
el 6 de Noviembre, 2017 5 votos - 1 resp
Manipulaciones Infinite Series
el 6 de Agosto, 2017 7 votos - 3 resp
Explicación de la Ley de Clavius
el 9 de Junio, 2017 7 votos - 2 resp
Teorema de verdes: ¿por qué importa la orientación de ruta?
el 31 de Mayo, 2017 6 votos - 3 resp
papel de las definiciones en las pruebas
el 3 de Agosto, 2016 10 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 3 x lógica
- 3 x prueba-de-escritura
- 3 x proof-teoría
- 1 x pregunta-teórica
- 1 x cálculo-multivariable
- 1 x lógica-proposicional
- 1 x cálculo