Lankymart es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Demostrar la irregularidad del lenguaje mediante el teorema de Nerode
el 4 de Mayo, 2022 1 votos - 3 resp
Varianza y valor esperado de $2^X$
el 7 de Diciembre, 2020 1 votos - 2 resp
la fuerte completitud de un sistema formal
el 6 de Julio, 2021 5 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x logic
- 1 x propositional-calculus
- 1 x proof-theory
- 1 x formal-proofs
- 1 x hilbert-calculus
- 1 x probability
- 1 x expected-value