Programmer 400 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 4 resp
¿Cuál es la diferencia entre ⊢ y ⊨?
el 12 de Junio, 2021 37 votos - 1 resp
¿Tratamiento numérico de la hipótesis de Riemann?
el 7 de Mayo, 2021 1 votos - 1 resp
¿Se puede expresar un sistema lógico como S5 utilizando sólo un número de Gödel?
el 10 de Junio, 2021 2 votos - 2 resp
¿Es la identidad ( $f(x)=x$ ) una dependencia lineal?
el 18 de Diciembre, 2015 1 votos - 1 resp
¿Cuál es el orden de convergencia y la constante de error asintótica para estos resultados?
el 15 de Diciembre, 2015 4 votos - 1 resp
¿Cuál es el sombrero problema de número?
el 31 de Marzo, 2019 4 votos - 3 resp
¿Es A∨¬A una tautología cuando hay una prueba (por contradicción)?
el 29 de Marzo, 2019 5 votos
Últimas Respuestas
- 0 votos
¿Cómo se prueban las preguntas de la forma Demostrar que $A\to \text{ B or C or D}$ ?
el 3 de Agosto, 2017 0 votos - 1 votos
Difícil? Bipartito Gráfico problema
el 23 de Julio, 2011 1 votos - 0 votos
¿Cómo puedo enseñar a nivel universitario de matemáticas a mí?
el 23 de Septiembre, 2015 0 votos
Etiquetas favoritas
- 4 x lógica
- 2 x logic
- 2 x numerical-methods
- 2 x matlab
- 2 x métodos-numéricos
- 1 x geometría
- 1 x elementary-conjunto-teórico