Problemas de decisión y recursividad en sistemas lógicos formales
En la teoría de la recursión se dice que un problema de decisión es recursivamente resoluble si existe un procedimiento mecánico para resolverlo. Dentro del contexto de las lógicas formales, el problema de decisión consiste simplemente en determinar si una fórmula bien formada cualquiera del...
| Autores principales: | , |
|---|---|
| Formato: | Online |
| Idioma: | spa |
| Publicado: |
Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
2017
|
| Acceso en línea: | https://revistas.ucr.ac.cr/index.php/matematica/article/view/22338 |