El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
Técnicas formales de transformación de programas /
El tema más importante que debe destacarse como base del presente trabajo es sin duda las técnicas de transformación de programas. Las técnicas que se presentan en el trabajo se separan en dos tipos: pasaje de Recursión Múltiple a anidada. Pasaje de Recursión Anidada a Recursión Final. Estos dos co...
El tema más importante que debe destacarse como base del presente trabajo es sin duda las técnicas de transformación de programas. Las técnicas que se presentan en el trabajo se separan en dos tipos: pasaje de Recursión Múltiple a anidada. Pasaje de Recursión Anidada a Recursión Final. Estos dos conjuntos de técnicas pueden utilizarse por separado según corresponda el caso, o combinándolos, obtenemos un grupo de herramientas que nos permiten encontrar a partir de definiciones recursivas múltiples, definiciones recursivas finales y por lo tanto el programa imperativo asociado. Como conclusión a nuestro trabajo, podemos decir que las técnicas presentadas dan solución a una gran cantidad de funciones pero debe hacerse un análisis cuidadoso de los operadores que definen a la función para determinar cuál es la técnica adecuada a aplicar acorde a nuestro problema particular.