Bohórquez Villamizar, Jaime Alejandro creator text monographic

print

472 páginas 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 Incluye índice Incluye bibliografía Programación de computadores Programas para computador 005.1 B677 9588060567 a000 20260622100441.0 3149