Mike Kucera es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
prueba con relación de recurrencia
el 23 de Diciembre, 2015 2 votos - 1 resp
Evaluación eficiente de esta medida de correlación
el 17 de Septiembre, 2019 3 votos - 1 resp
Comprobación de algunos problemas de expresiones regulares
el 23 de Diciembre, 2015 1 votos - 2 resp
Deducción natural: $(\neg q \to\neg p)\vdash(p\to q)$ sin Modus Tollens
el 4 de Junio, 2018 4 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x lógica
- 1 x matemáticas-discretas
- 1 x lógica-proposicional
- 1 x formal-languages
- 1 x automata
- 1 x regular-language
- 1 x regular-expressions