Diseño efectivo de programas correctos /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
Bogotá :
Editorial Escuela Colombiana de Ingeniería,
2006.
|
| Edition: | Primera edición |
| Series: |
Colección de informática
|
| Subjects: | |
| Notas Contenido: |
|
Table of Contents:
- ¿Por qué resolver problemas y programar son labores tan difíciles
- Cálculo lógico
- La programación como ciencia
- Corrección y derivación de programas iterativos
- Corrección y derivación de programas recurrentes
- Complejidad algorítmica
- Ecuaciones de recurrencia
- Métodos generales de solución de problemas
- Divide y vencerás
- Técnicas avanzadas de derivación
- Búsqueda en estructuras lineales
- Estructuras notables
- Programación dinámica
- Métodos voraces
- Exploración de grafos
- Intratabilidad
