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)

Tareas
  • Tarea 1: para entregar el 02/15 en clase
    • [1] 1.6: 1, 5
    • [1] 2.8: 2, 5, 8, 14, 15

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