Tesis doctoral de Campos Rosello Francisco Jose
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.
Datos académicos de la tesis doctoral «El concepto de funcion recursiva como elucidacion formal-matematica de la nocion informal de algoritmo.«
- Título de la tesis: El concepto de funcion recursiva como elucidacion formal-matematica de la nocion informal de algoritmo.
- Autor: Campos Rosello Francisco Jose
- Universidad: Universitat de valéncia (estudi general)
- Fecha de lectura de la tesis: 01/01/1983
Dirección y tribunal
- Director de la tesis
- José Sanmartín Esplugues
- Tribunal
- Presidente del tribunal: José Sanmartín Esplugues
- Castillejo Brull José Luis (vocal)
- Manuel Garrido Jimenez (vocal)
- Rafael Beneyto Torres (vocal)