EL CONCEPTO DE FUNCION RECURSIVA COMO ELUCIDACION FORMAL-MATEMATICA DE LA NOCION INFORMAL DE ALGORITMO.

Autor: CAMPOS ROSELLO FRANCISCO JOSE
Año: 1982
Universidad: VALENCIA
Centro de realización:
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION
Director: SANMARTIN ESPLUGUES JOSE
Tribunal: SANMARTIN ESPLUGUES JOSE , GARRIDO JIMENEZ MANUEL , CASTILLEJO BRULL JOSE LUIS , BENEYTO TORRES RAFAEL , RIVAS MARTINEZ FRANCISCO
Resumen de la tesis

SE 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 (AKLGOREC I II) PARA LA DECISION DE SI UNA FUNCION DADA (CATALOGADA O NO) ES O NO RECURSIVA.
Materias relacionadas