18
Reputación
Reputación
Nombre : Bram28
Miembro desde : 2 de Noviembre, 2016
Bram28 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
- 1 resp
¿Quién fue el primero en demostrar que existe una máquina de Turing universal que utiliza un alfabeto binario?
el 14 de Mayo, 2021 1 votos - 1 resp
Teorema de completitud de Gödel: ¿Mostró Gödel cómo construir derivaciones?
el 14 de Enero, 2019 3 votos - 2 resp
Programa de Hilbert: ¿La coherencia y la integridad implican decidibilidad?
el 10 de Enero, 2019 7 votos - 5 resp
¿Cuándo y por qué una máquina de Turing no puede resolver el problema de la parada?
el 3 de Enero, 2019 31 votos - 3 resp
Número esperado de calcetines individuales cuando se combinan los calcetines
el 14 de Julio, 2017 47 votos - 1 resp
¿Cuántos días se necesitan para cubrir por lo menos la mitad de todos los cumpleaños en un grupo de personas?
el 7 de Julio, 2017 5 votos
Últimas Respuestas
- 2 votos
Matemática discreta - mostrar que el argumento es válido usando reglas de inferencia y equivalentes lógicos
el 28 de Mayo, 2019 2 votos - 3 votos
Resolviendo un problema al estilo Smullyan de un caballero y mentiroso usando deducción natural. ¿Cómo acortar esta prueba?
el 7 de Diciembre, 2019 3 votos - 6 votos
Muestra que $\pi: A \times B \to A$ definida por $\pi(a,b)=a$ es una sobreyección, pero no una inyección.
el 21 de Marzo, 2017 6 votos - 1 votos
- 1 votos
¿El tamaño de un diagrama de Venn indica la cardinalidad del conjunto?
el 6 de Julio, 2018 1 votos - 2 votos
Demostrando que una secuencia es periódica
el 14 de Agosto, 2018 2 votos - 2 votos
¿Cómo visualizar predicados de aridad arbitraria (ternarios, cuaternarios...)?
el 23 de Octubre, 2019 2 votos
Etiquetas favoritas
- 59 x lógica
- 57 x logic
- 37 x probabilidad
- 28 x la-combinatoria
- 20 x predicate-logic
- 20 x discrete-mathematics
- 17 x first-order-lógica
