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
|
| Предмети: | |
| Онлайн доступ: | https://www.redalyc.org/articulo.oa?id=45343487001 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|