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 esrecursivamente resoluble si existe un procedimiento mecánico para resolverlo.Dentro del contexto de las lógicas formales, el problema de decisiónconsiste simplemente en determinar si una fórmula bien formadacualquiera del sistema es,...
Сохранить в:
| Опубликовано в:: | Revista de Matemática: Teoría y Aplicaciones |
|---|---|
| Главные авторы: | , |
| Формат: | Artigo |
| Язык: | Espanhol |
| Опубликовано: |
Universidad de Costa Rica
2016
|
| Предметы: | |
| Online-ссылка: | https://www.redalyc.org/articulo.oa?id=45343487001 |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|