Cover Image

Diseño efectivo de programas correctos /

Show other versions (1)
Saved in:
Bibliographic Details
Main Author: Bohórquez Villamizar, Jaime Alejandro
Format: Book
Language: Spanish
Published: Bogotá : Editorial Escuela Colombiana de Ingeniería, 2006.
Edition: Primera edición
Series: Colección de informática
Subjects:
Programación (Computadores electrónicos)
Software de programación
Programación dinámica
Algoritmos
Representaciones puntuales (Matemáticas)
Notas Contenido:
  • ¿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

Similar Items

Similar Items