4 Dic 2007: El próximo jueves 13 de diciembre realizaremos el control de seguimiento correspondiente a los temas: Verificación formal, Divide y vencerás y Programación dinámica. Para resolver las dudas que surjan en relación a estos temas realizaré una tutoría conjunta en el aula A-2-01 el lunes 10 de diciembre.