FUNCIONES RECURSIVAS
Página 1 de 1. Mostramos 6 registros (del 1 al 6) de un total de 6
-
Autor: CORDÓN FRANCO ANDRESAño: 2002Universidad: SEVILLAResumenEl presente trabajo se enmarca dentro del campo de estudio de los Modelos de la Aritmética de Peano: PA. En líneas generales, se desarrolla un estudios sistemático de Fragmentos de la Aritmética ... [Sigue]
-
Autor: GALLEGO CASTAÑO ENRIQUEAño: 2001Universidad: COMPLUTENSE DE MADRIDResumenEl objetivo de esta memoria es analizar las tecnicas para la demostracion de la indecidibilidad de las teorias que aparecen habitualmente en Matematicas: teoria de grupos, teoria de anillos, teoria d ... [Sigue]
-
Autor: FERNANDEZ-COMBARRO ALVAREZ ELIASAño: 2000Universidad: OVIEDOResumenEn esta memoria se usan conceptos algebraicos para estudiar objetos de la teoria de la computabilidad. Asi, se construyen numeraciones (es decir, codificaciones de conjuntos mediante numeros natura ... [Sigue]
-
Autor: LARA MARTIN FRANCISCO FELIXAño: 1999Universidad: SEVILLAResumenEn este trabajo se realiza un analisis de la conjetura de Friedman-Paris, acerca de la equivalencia entre los fragmentos de la Aritmetica de Peano obtenidos al restringir los esquemas de induccion y ... [Sigue]
-
Autor: GAVILANES FRANCO ANTONIOAño: 1989Universidad: COMPLUTENSE DE MADRIDResumenEL OBJETIVO DE LA TESIS ES DAR UNA NUEVA FUNDAMENTACION LOGICA A LAS FUNCIONES PARCIALES COMPUTABLES. EN EL CAPITULO PRIMERO SE INTRODUCE UN NUEVO VALOR BOOLEANO INDEFINIDO CON EL QUE SE EXTIENDEN LA ... [Sigue]
-
Autor: CAMPOS ROSELLO FRANCISCO JOSEAño: 1982Universidad: VALENCIAResumenSE ESTABLECEN LA CONDICIONES QUE HA DE SATISFACER UN ALGORITMO; SE INTRODUCEN LOS CONCEPTOS BASICOS DE LA TEORIA DE FUNCIONES RECURSIVAS; SE DESARROLLAN DOS PROCEDIMIENTOS (ALGORITMO) DE RECURSION (A ... [Sigue]