ESPECIFICACIÓN, DERIVACIÓN Y ANÁLISIS DE ALGÓRITMOS: EJERCICIOS RESUELTOS

- Aunque los temas relacionados con la especificación y verificación formal de programas no gozan de mucha popularidad, es importante su inclusión en los temarios, sobre todo haciendo más hincapié en la derivación de programas a partir de su especificación, de forma que se obtiene un algoritmo correcto por construcción. - Con el presente libro se intenta contribuir a paliar este déficit, pero además en un formato apropiado para los alumnos que demandan como complemento a los "libros de teoría" y a los apuntes de clase, un libro de ejercicios resueltos.

-De esta forma, cada capítulo comienza con una breve introducción cuyo objetivo es repasar los conceptos principales y fijar las notaciones que se utilizan en el desarrollo posterior de las soluciones de los ejercicios, pero no supone un tratamiento detallado del tema, para el cual se remite a algunos libros de teoría, como el de Ricardo Peña: "Diseño de programas".

La parte principal de cada capítulo consiste en una serie de ejercicios resueltos de dificultad creciente. Además, al final de cada capítulo se proponen nuevos ejercicios para resolver por el lector.

- En la presentación de las soluciones a los ejercicios resueltos se ve directamente una solución que funciona, pero ya no hay ocasión de ver los posibles pasos fallidos que uno ha podido dar antes de llegar a la solución, por lo que se anima a los lectores a intentar llegar a una solución por su cuenta, para ver cuáles son los pasos que hay que dar y con qué opciones se enfrenta uno en cada paso. Sin embargo, la idea de la verificación es que uno tiene tanto la especificación como el programa y se comprueba "a posteriori" que en efecto el programa cumpla su especificación. Para ello se utiliza una serie de reglas que se presentan e ilustran en los dos primeros capítulos. En el proceso de derivación se usan esas mismas reglas, pero de una forma completamente distinta, que es la que se ilustra en los capítulos 4 y 5. El capítulo intermedio, el 3, se dedica a introducir lo
Idioma: CASTELLANO

RIGUROSO

Riguroso

Determina lo preciso o impreciso que es este libro con respecto a lo que se cuenta en el mismo. 0 significa que es completamente impreciso y 10 que cuenta es rigurosamente verídico

DIVERTIDO

Divertido

Determina lo divertido que te ha resultado el libro: 0-aburrido 10-muy divertido

COMPLEJO

Complejo

Determinamos lo complejo que nos ha resultado la lectura del libro. Desde el nivel más bajo, que indica que es un texto secillo de comprender hasta el valor máximo que indica que es complejo de comprender

SORPRENDE

Sorprende

Indica lo sorprendente que resulta el argumento del libro, desde 0: previsible hasta 10: totalmente desconcertante y sorprendente

Entra en BiblioEteca...

ESPECIFICACIÓN, DERIVACIÓN Y ANÁLISIS DE ALGÓRITMOS: EJERCICIOS RESUELTOS

Sinópsis del libro:

Comentarios de los lectores

Yo Leo

Anillo de blogs

Paga si te gusta

BiblioEtecarios

Yo Escribo

Ayuda

AVISO DE COOKIES