2018-1
Información general
Profesor Camilo Rocha (camilo.rocha *at* javerianacali.edu.co)
- Martes (Palmas 3.1) 11:00 - 13:00
- Jueves (Palmas 3.1) 11:00 - 13:00
Horas de oficina Oficina 2-38, Facultad de Ingeniería
- Martes 14:30 - 16:00
- Jueves 14:30 - 16:00
Horario de atención de monitores No habrá.
Material
Vínculos
- Información detallada del curso (ver)
- Rigorous Open Development Environment for Complex Systems (ver)
- Material asociado al libro de Event-B (ver)
- Models of Software Systems (Borrador) por Néstor Cataño (ver)
- Notas (actualizado 06/05)
- Proyecto
Tareas
- Tarea 1: para entregar el 02/15 en clase
- [1] 1.6: 1, 5
- [1] 2.8: 2, 5, 8, 14, 15
- Tarea 2: para entregar el 05/04 antes de las 4pm
Sesiones
- Sesión 1 (01/23)
- Introducción
- Sesión 2 (01/25)
- Nociones básicas de conjuntos, funciones y relaciones
- Sesión 3 (01/30)
- Nociones de secuentes proposicionales y reglas de demostración
- Sesión 4 (02/01)
- Más sobre secuentes y reglas de demostración
- Sesión 5 (02/06)
- Sesión 6 (02/08)
- Sesión 7 (02/13)
- Sesión 8 (02/15)
- Sesión 9 (02/20)
- Sesión 10 (02/22)
- Sesión 11 (02/27)
- Sesión 12 (03/01)
- Sesión 13 (03/06)
- Solución Parcial 1
- El sistema de la Red Social Poporo (capítulos 1 y 2)
- Sesión 14 (03/08)
- Sesión 15 (03/13)
- Demostraciones interactivas en Rodin
- Sesión 16 (03/15)
- Demostraciones interactivas en Rodin
- Sesión 17 (03/20)
- Demostraciones interactivas en Rodin
- Sesión 18 (03/22)
- Sesión 19 (04/03)
- Sesión 20 (04/05)
- Sesión 21 (04/10)
- Sesión 22 (04/12)
- Sesión 23 (04/17)
- Sesión 24 (04/19)
- Sesión 25 (04/24)
- Sesión 26 (04/26)
- Quiz
- Mergesort
- Sesión 27 (05/01)
- Festivo
- Sesión 28 (05/03)
- Sesión 29 (05/08)
- Teorías de reescritura y verificación de invariantes usando 'search'
- El problema de las jarras