home
publications
teaching
software
short-bio
curriculum-vitae
pictures
/blog
teaching
>
FMEF - Fundamentos en Métodos Formales
>
2017-2
Información general
Profesor
Camilo Rocha (camilo.rocha *at* escuelaing.edu.co)
Horario
Lunes y miércoles 13:00 - 14:30
Horas de oficina
Por acordar
Programa del curso
Material
Tareas
Tarea 1: para entregar el 08/28 antes de clase
enunciado
plantilla LaTeX
(opcional)
Tarea 2: para entregar el 09/11 antes de clase
enunciado
plantilla LaTeX
(opcional)
Tarea 3: para entregar el 10/23 antes de clase
enunciado
plantilla LaTeX
(opcional)
Tarea 4: para entregar el 11/10 antes de la media noche
enunciado
Tarea 5: para entregar el 12/03 antes de la media noche
enunciado
Parciales
Parcial 1
Parcial 2
Parcial 3
Proyecto
Artículos
Asignación:
Álvarez Lucena: 0
Anzola Ávila: 1
Moreno Silva: 2
Pinzón Henao: 3
Sanabria Ardila: 4
Torres Torres: 5
Notas
Última actualización:
11/10