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...
| Main Authors: | , |
|---|---|
| Format: | Online |
| Language: | spa |
| Published: |
Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
2017
|
| Online Access: | https://revistas.ucr.ac.cr/index.php/matematica/article/view/22338 |