Redes Modalidad 1.pdf - RUA - Universidad de Alicante

3.2 Bibliografía de teoría 47
estructurada. El capítulo “Transformation into Repetitive Form” profundiza en las transformaciones
recursivo-iterativas de algoritmos presentando una gran multitud de tipos
de funciones recursivas (lineales y múltiples) y sus esquemas equivalentes iterativos
más apropiados.
BRASSARD, G. y P. BRATLEY (1997). Fundamentos de algoritmia.
Este libro efectúa un correcto desarrollo del estudio de la complejidad de los algoritmos,
sin embargo, no se hace ningún tipo de mención a las técnicas de especificación,
verificación y derivación formal de algoritmos. Desarrolla adecuadamente las técnicas
de diseño de algoritmos, tanto iterativos como recursivos y aplica el estudio de la complejidad
de los algoritmos a lo largo de todo el libro. Dispone de capítulos específicos
y muy bien desarrollados acerca de cada uno de los esquemas de programación estudiados
en la asignatura. De hecho, amplía el área de estudio mediante la inclusión
de capítulos dedicados a los algoritmos probabilísticos, paralelos y heurísticos aproximados.
BRASSARD, G. (1985). Crusade for a better notation., ACM Sigact News, 1(17).
Del mismo autor de Brassard y Bratley (1997). Introduce la notación condicional
asintótica y la noción de uniformidad, ajuste o suavización en dicha notación.
GRIES, D. (1981). The science of Programming., Springer-Verlag.
Libro que presenta una base didáctica muy asequible del método de verificación
formal de la precondición más débil. Los primeros capítulos efectúan una amplia introducción
al estudio de la lógica proposicional y de predicados.
HOROWITZ, E., S. SAHNI, y S. RAJASEKARAN (1997). Computer algorithms., W. H.
Freeman Press.
Este libro profundiza en el cálculo de complejidades sobre todo aplicado a la programación
con esquemas. Es especialmente recomendado para ampliar conceptos
en cuanto a la diversidad de esquemas y sus aplicaciones. También efectúa un estudio
de la clasificación de problemas, profundizando en la teoría de los problemas
NP-completos.
KALDEWAIJ, A. (1990). Programming: the derivation of algorithms., Prentice-hall.
Profundiza en la derivación formal de algoritmos. Muy útil para ampliar conocimientos
en los aspectos de verificación y derivación formal de algoritmos.