Diseño de Programas Formalismo y Abstracción /

Por: Peña Marí, RicardoTipo de material: TextoTextoIdioma: Español Madrid : Prentice Hall , 2005Edición: 3 edDescripción: 466 páginas. 17 x 24 cms 1CD-ROOMTipo de contenido: texto Tipo de medio: sin mediación Tipo de portador: volumenISBN: 8420541915Tema(s): Informática | Algoritmos | Estructura de datos (Computadores)Clasificación CDD: 005.12
Contenidos:
1. La eficiencia de los algoritmos
2. Especificación de problemas
3. Diseño recursivo
4. Diseño iterativo
5. Tipos abstractos de datos
6. Estructuras lineales de datos
7. Árboles
8. Tablas y Grafos
A Soluciones a los ejercicios y problemas
Resumen: Este texto universitario presenta un amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la ormal de programas iterativos y la especificación algebraica de tipos abstractos de datos. Para cala técnica se presentan primero sus fundamentos matemáticos y se ejercita despuesta misma con numerosos ejemplos. En el texto se diseñan y verifican numerosos programas no triviales, que incluyen los algoritmos de ordenación quicksort, mergesorty heapsort, y muchos otros de tratamiento de árboles y grafos. También se presentan las especificaciones formales y las implantaciones más habituales de las estructuras de datos: pilas, colas, listas, árboles, montículos, tablas y grafos.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
    Valoración media: 0.0 (0 votos)
Tipo de ítem Ubicación actual Colección Signatura Copia número Estado Fecha de vencimiento Código de barras Reserva de ítems
Libros/General Libros/General Biblioteca Central
En estantería
Colección General 005.12/ P349 Ejemplar 1 Disponible 62136
Total de reservas: 0

Incluye bibliografía e índice

1. La eficiencia de los algoritmos

2. Especificación de problemas

3. Diseño recursivo

4. Diseño iterativo

5. Tipos abstractos de datos

6. Estructuras lineales de datos

7. Árboles

8. Tablas y Grafos

A Soluciones a los ejercicios y problemas

Este texto universitario presenta un amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la ormal de programas iterativos y la especificación algebraica de tipos abstractos de datos. Para cala técnica se presentan primero sus fundamentos matemáticos y se ejercita despuesta misma con numerosos ejemplos. En el texto se diseñan y verifican numerosos programas no triviales, que incluyen los algoritmos de ordenación quicksort, mergesorty heapsort, y muchos otros de tratamiento de árboles y grafos. También se presentan las especificaciones formales y las implantaciones más habituales de las estructuras de datos: pilas, colas, listas, árboles, montículos, tablas y grafos.

Departamento De Artes Escénicas

No hay comentarios en este titulo.

para colocar un comentario.