Nigel Cutland de la Computabilidad: Una Introducción a la Función Recursiva Teoría es una buena forma suave en la zona, aunque personalmente me pareció un poco lento. No obstante, si desea que su mano y una gran cantidad de tiempo pasado en los fundamentos, Cutland es muy buena.
Una vez que estás listo para algo más riguroso y en profundidad, tengo que recomendar Hartley Rogers clásica, Teoría de las Funciones Recursivas y Eficaz de la Computabilidad. Cuando empiece a leer parecerá increíblemente densa, todos críptico notación y difícil ideas. Pero, en realidad, muy bien escrito y muy clara a pesar de su edad (se remonta a 1967).
Como sucede con muchos de los libros que usted debe saltar la introducción en la cual se establece los requisitos y explica la notación: sólo se ralentizará y te desmotivan. En su lugar, sumergirse directamente en el primer capítulo, sobre las funciones recursivas, que bien que motiva el problema y deja en claro la distinción clave entre una función y un método para el cálculo de una función.
Una copia debe estar disponible en cualquier buena biblioteca de la universidad, y el humo de las copias puede ser tenido por muy poco dinero en línea. Cutland del libro es también comúnmente asignados y así también debe estar disponible en su biblioteca de la universidad.
