Horario

2019/1: 1.4-3.4

Trail 2019/1

• 18/03: Intro
• 20/03: PFPL Cap 1
• 25/03: PFPL Cap 2
• 27/03: PFPL Cap 3 + ejercicios
• mini-tarea 1 (27/03-07/04)
• 01/04: PFPL Cap 4
• 03/04: PFPL Cap 5 (hasta 5.2)
• 08/04: PFPL Cap 5 y Cap 6 (hasta 6.1)
• 10/04: PFPL Cap 6 + corrección mini tarea 1
• 15/04: mini-control 1 + PFPL Cap 7
• 17/04: PFPL Cap 8
• 22/04: PFPL Cap 10 (menos 10.3), intro Cap 11
• mini-tarea 2 (23/04-30/04)
• 24/04: PFPL Cap 11
• 29/04: PFPL Cap 12 (statics)
• 06/05: PFPL Cap 12 (dynamics) + PFPL Cap 9
• 08/05: paro
• 13/05: mini-control 2 + Coq demo
• 15/05: paro
• 20/05-22/05: vacaciones
• 27/05: PFPL Cap 16 (hasta 16.2)
• 29/05: PFPL Cap 16 y Cap 17 (intro)
• 03/06: PFPL Cap 17
• 05/06: TAPL Cap 13

Presentaciones

Página con información acerca de las presentaciones finales: https://pleiad.cl/teaching/cc7110/2019/presentaciones