Como vamos¶ Invariantes de ciclo: Herramienta para analizar la correctitud de programas Divide y vencerás: Analisis de los algoritmos Tema¶ Introducción a los grafos Familias de grafos Clase¶ Introduccion de los grafos Teoremas de grafos Familias de grafos Resumen Slides¶