Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden.
| dc.contributor.author | Llanos Villajuan, Marino. | |
| dc.date.accessioned | 2025-06-26T16:04:49Z | |
| dc.date.available | 2025-06-26T16:04:49Z | |
| dc.date.issued | 1974 | |
| dc.description | Tesis de bachiller. | |
| dc.description.abstract | Trata sobre los problemas en la lógica y en las matemáticas y sus posibles soluciones. Presenta el método de “Procedimiento desisorio“, “Método afectivo“ o “Algoritmo“; los cuales sirven para cierto tipo de problemas, dentro de la lógica y las matemáticas, cuya solución depende entera y únicamente de algún método que consiste en un número mínimo posible de reglas muy precisas que aplicadas correctamente a un determinado tipo de problemas, siempre conduce a una respuesta afirmativa o negativa, en un tiempo mínimo posible. Explica que los problemas para los cuales existen tales métodos, se les conoce con el nombre de problemas decibles y de otro modo, se dice que son indecibles. | |
| dc.identifier.uri | https://repositorioletrascorpus.unmsm.edu.pe/handle/123456789/626 | |
| dc.language.iso | es | |
| dc.publisher | Universidad Nacional Mayor de San Marcos | |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-sa/4.0/ | |
| dc.subject | Matemática | es |
| dc.subject | Filosofía | es |
| dc.subject | Lógica | es |
| dc.subject.ocde | https://purl.org/pe-repo/ocde/ford#6.03.01 | |
| dc.title | Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden. | |
| dc.type | Thesis |