Bibliographic citations
This is an automatically generated citacion. Modify it if you see fit
Llanos, M., (1974). Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden [Universidad Nacional Mayor de San Marcos]. https://hdl.handle.net/20.500.12672/16596
Llanos, M., Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden []. PE: Universidad Nacional Mayor de San Marcos; 1974. https://hdl.handle.net/20.500.12672/16596
@misc{renati/1225041,
title = "Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden",
author = "Llanos Villajuan, Marino",
publisher = "Universidad Nacional Mayor de San Marcos",
year = "1974"
}
Title: Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden
Authors(s): Llanos Villajuan, Marino
Keywords: Matemáticas - Filosofía; Lógica
OCDE field: https://purl.org/pe-repo/ocde/ford#6.03.01
Issue Date: 1974
Institution: Universidad Nacional Mayor de San Marcos
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 no depende de ningún factor subjetivo del investigador, tales como, la agudez o la ingeniosidad, sino 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. Expone también cuando menos más de una solución equivalente. Ofrece un procedimiento decisorio para la resolución de la validez lógica de fórmulas cuantificacionales monádicas de la lógica del primer orden.
Link to repository: https://hdl.handle.net/20.500.12672/16596
Discipline: Filosofía
Grade or title grantor: Universidad Nacional Mayor de San Marcos. Facultad de Letras y Ciencias Humanas. Programa Académico de Filosofía
Grade or title: Bachiller en Filosofía
Register date: 27-May-2021
This item is licensed under a Creative Commons License