Tesis de bachillerato
Permanent URI for this collection
Browse
Browsing Tesis de bachillerato by Author "Llanos Villajuan, Marino."
Now showing 1 - 1 of 1
Results Per Page
Sort Options
- ItemUn procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden.(Universidad Nacional Mayor de San Marcos, 1974) Llanos Villajuan, Marino.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.