Algoritmos correctos y eficientes

Este libro de ejercicios sobre diseño de algoritmos correctos y eficientes es el resultado de la actividad docente de sus autores, profesores de asignaturas de programación durante muchos años en la Universidad Complutense de Madrid, e intenta paliar el déficit de material docente sobre especificaci...

Descripción completa

Detalles Bibliográficos
Autor principal: Verdejo, A.,Segura, C.,Martí, N. (Autor)
Formato: Desconocido
Idioma:Indeterminado
Publicado: España España 2012-10-20 10:29:00
Temas:
algoritmos
Acceso en línea:Texto completo

MARC

LEADER 00000 a2200000 4500
001 ALPHAC_57185
003 XX-XxUND
008 s2012 xx |||||||||||| ||||und d
020 |a 9788415452362 
035 |a 9788415452362 
100 1 |a Verdejo, A.,Segura, C.,Martí, N.  |e author 
245 1 |a Algoritmos correctos y eficientes 
260 |a España  |b España  |c 2012-10-20 10:29:00 
300 |a 242 
520 |a Este libro de ejercicios sobre diseño de algoritmos correctos y eficientes es el resultado de la actividad docente de sus autores, profesores de asignaturas de programación durante muchos años en la Universidad Complutense de Madrid, e intenta paliar el déficit de material docente sobre especificación y verificación formal de programas disponible en castellano.Se hace especial hincapié en la derivación de programas a partir de su especificación. La derivación consiste en la construcción sistemática del programa a partir de su especificación, de forma que se garantiza que al final de tal construcción el algoritmo cumple la especificación y, por tanto, es automáticamente correcto con respecto a esta. También se introducen los conceptos básicos para analizar el coste de un programa, puesto que este ingrediente es asimismo útil para construir programas que además de correctos sean eficientes.Cada capítulo empieza con una breve introducción para repasar los conceptos principales y fijar las notaciones que se utilizan en el desarrollo posterior de las soluciones de los ejercicios; sigue con una serie de ejercicios resueltos con detalle y de dificultad creciente; y acaba proponiendo nuevos ejercicios que deberían ser resueltos por el estudiante interesado. 
650 4 |a algoritmos 
754 1 |a category  |c Ingenierías 
856 4 |u https://alphaeditorialcloud.uam.elogim.com/reader/algoritmos-correctos-y-eficientes  |z Texto completo 

Ejemplares similares