El concepto de función recursiva como elucidación formal-matemática de la noción informal de algoritmo

• Autores: Francisco José Campos Roselló
• Directores de la Tesis: José Sanmartín Esplugues (dir. tes.)
• Lectura: En la Universitat de València ( España ) en 1983
• Idioma: español
• Tribunal Calificador de la Tesis: José Sanmartín Esplugues (presid.), Francisco Rivas Martínez (secret.), Manuel Garrido Jiménez (voc.), José Luis Castillejo Brull (voc.), R. Beneyto (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Funciones recursivas
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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,