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.