Diseño de programas : Formalismo y Abstracción/ Peña Marí, Ricardo
Tipo de material:
- 8420541915
- 3ra. Ed. 005.3 P42
Tipo de ítem | Biblioteca actual | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
![]() |
Biblioteca Especializada de la Escuela de Post Grado | 005.3/ P42 - 2005 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | EPG0162 |
CD-ROM
--1. La eficiencia de los algoritmos -- Órdenes de complejidad --Reglas prácticas para el cálculo de la eficiencia -- 2. Especificación de problemas -- Lógica de predicados -- Problemas adicionales -- 3. Diseño recursivo -- Conceptos básicos, terminología y notación -- 4. Diseño iterativo -- Semántica de un lenguaje imperativo -- Derivación formal de programas imperativos -- 5.Tipos abstractos de datos -- Concepto terminología y ejemplos -- Construcción de especificaciones -- Extensiones al modelo básico -- 6. Estructuras lineales de datos -- Pilas -- Colas -- Dobles colas -- Listas -- 7. Árboles -- Arboles n-arias y binarios -- Colas de prioridad y montículos -- 8. Tablas y grafos.-- Tablas y conjuntos
No hay comentarios en este titulo.