Redes Modalidad 1.pdf - RUA - Universidad de Alicante

48 3 Contenidos
KNUTH, D.E. (1973). The art of Computer Programming.; Volume 3: Sorting and
Searching., Addison Wesley.
Estudio que define y profundiza en la notación asintótica para complejidades de
algoritmos.
PARBERRY, IAN (2001). Lecture notes on algorithm analysis and computational complexity.
fourth edition, http://hercule.csci.unt.edu/ ian/books/free/.
El profesor Parberry pone en esta web a disposición de alumnos y profesores una
recomendable recopilación de notas de las transparencias que utiliza en sus propias
clases.
Las notas hacen referencia a la docencia y los ejercicios en análisis de algoritmos
haciendo un repaso de los esquemas algorítmico tratados en la materia objeto de este
trabajo.
PEÑA, R. (1998). Diseño de Programas. Formalismo y Abstracción, Prentice-Hall.
Ésta es la segunda edición del libro con el mismo título y autor del año 1992. La
principal diferencia consiste en el desdoblamiento en dos capítulos del capítulo original
de especificación e implementación de estructuras de datos y en la inclusión
de soluciones para algunos de los ejercicios propuestos. Algunos de sus contenidos
principales son:
Desarrolla con un nivel de profundidad adecuado y de forma clara el sistema de
especificación, verificación y derivación formal de algoritmos mediante la aplicación
de la lógica de predicados. Sin embargo, no se hace ningún tipo de referencia a otros
métodos de verificación como la verificación por inducción.
Presenta correctamente las técnicas de diseño de algoritmos, tanto iterativos como
recursivos y las técnicas de transformación de algoritmos recursivos en iterativos; sin
embargo, no existe ningún capítulo relacionado con la programación con esquemas.
Presenta una gran cantidad de ejercicios propuestos y resueltos que permiten un
buen seguimiento de los conceptos estudiados.
PURDOM, P. y C.A. BROWN (1985). The Analysis of Algorithms., Holt, Rinehart and
Winston.
Presenta un tratamiento matemático riguroso para el análisis de algoritmos y en
particular en el estudio de las recurrencias. Se realiza una amplia descripción de las
técnicas de resolución de recurrencias, incluyendo la ecuación característica y el cambio
de variable.
SKIENA, STEVEN S. (1997). The Algorithm Design Manual, Springer Verlag.