Redes Modalidad 1.pdf - RUA - Universidad de Alicante

3.2 Bibliografía de teoría
3.2 Bibliografía de teoría 45
A continuación se presenta la bibliografía básica recomendada al alumno en la asignatura.
Se comenta dicha bibliografía destacando aquellos aspectos que facilitan su
utilización en la asignatura. Posteriormente se ofrece una relación de otros textos como
bibliografía complementaria que pueden ser interesantes para la preparación de la
asignatura por parte del profesor o como textos de consulta del alumno.
Bibliografía básica:
FERRI, F.J., J. F. ALBERT y G. MARTÍN (1998). Introducció a l’anàlisi i disseny
d’algorismes, Universitat de Valencia.
El libro se ajusta globalmente al enfoque docente propuesto en la programación
de la asignatura, excepto en el estudio de la aproximación a la verificación formal de
algoritmos. No efectúa referencia alguna a los métodos de especificación, validación
y derivación de algoritmos mediante la utilización de la lógica de predicados y las referencias
a la aplicación del método de inducción se realizan prácticamente a título
informativo. A excepción del comentario anterior, consideramos que este libro presenta
una serie de características que lo sitúan como un libro de referencia muy recomendado.
Entre ellas podemos destacar su claridad expositiva y la utilización continua
de ejemplos explicativos y esquemas que facilitan la comprensión de los conceptos
tratados. El lenguaje utilizado para expresar los algoritmos es un pseudocódigo muy
sencillo basado en Pascal. En el libro aparece una gran cantidad de ejercicios propuestos
que si bien, son muy útiles para la correcta comprensión y aplicación de los
conceptos explicados en los capítulos, encomienda su resolución al lector.
PARBERRY, IAN y WILLIAM GASARCH (2002). Problems on algorithms. second edition,
http://hercule.csci.unt.edu/ ian/books/free/.
Esta versión electrónica (y gratuita) aúna el libro del primer autor con el mismo título
(Parberry, 1994) más una fe de erratas y un cuaderno suplementario de ejercicios del
segundo autor.
Es un libro muy recomendado y que se ajusta perfectamente a la materia objeto de
la asignatura. Su aproximación a la materia es eminentemente práctica y efectúa un
análisis teórico muy esquemático y claro en su exposición que ayuda a aclarar aquellos
conceptos a veces difíciles de entender. Destacaremos las siguientes características:
Se puede considerar como libro de referencia para problemas, ya que dispone de
gran cantidad de ejercicios resueltos.
Presenta con gran corrección las técnicas de verificación de algoritmos por inducción,
así como las técnicas de análisis de algoritmos, tanto iterativos como recursivos,
aplicando dicho desarrollo durante todos los temas tratados en el libro.