Algoritmos correctos y eficientes : diseño razonado ilustrado con ejercicios / Narciso Marti Oliet, Clara Segura y Alberto Verdejo.
Tipo de material:
TextoIdioma: Español Editor: Madrid : Garceta Grupo Editorial, ©2012Edición: Primera ediciónDescripción: 236 páginas ; 26 cmTipo de contenido: texto Tipo de medio: sin mediación Tipo de portador: volumenISBN: 9788415452324Tema(s): Algoritmos (Computadores) | Estructura de datos (Informática) | Matemáticas computacionalesClasificación CDD: 005.1 | Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central | 005.1 M378 2013 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible (Sin restricciones) | 33047 |
Navegando Biblioteca Central Estantes Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 005.1 L435i IngenierÍa del : teoria y práctica / | 005.1 L864a 2009 Análisis y diseño de algoritmos : | 005.1 L864a 2009 Análisis y diseño de algoritmos : | 005.1 M378 2013 Algoritmos correctos y eficientes : diseño razonado ilustrado con ejercicios / | 005.1 M379d 2020 Desarrollo ágil esencial : vuelta a las raíces / | 005.1 M379d 2020 Desarrollo ágil esencial : vuelta a las raíces / | 005.1 M379d 2020 Desarrollo ágil esencial : vuelta a las raíces / |
Incluye referencias bibliográficos: páginas 235-236
1. Especificación de algoritmos -- 2. Verificación -- 3. Análisis de complejidad -- 4. Derivación de algoritmos iterativos -- 5. Derivación de algoritmos recursivos.
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.
El texto.
Ingeniería de Sistemas
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.