2017-1

Información general

Profesor Camilo Rocha (camilo.rocha *at* javerianacali.edu.co)

• Martes (Palmas 2.4) 14:00 - 15:30
• Jueves (Palmas 2.4) 14:00 - 15:30

Horas de oficina Oficina 2-38, Facultad de Ingeniería

• Martes 11:00 - 12:00
• Miércoles 11:00 - 12:00
• Jueves 16:00 - 17:00

Horario de atención del monitor

• Nicolás Alberto Ortíz Aristizabal (nicortiz *at* javerianacali.edu.co)
  • Miércoles (Palmas 3.1) 8:30 - 9:30
  • Viernes (Palmas 2.1) 16:00 - 17:00

Programa del curso

Material

Enlaces

• Moodle
• Quizizz
• Rodin
• Wiki
• Notas (última actualización: mayo 31 de 2017)
• Proyecto

Sesiones

• Martes 01/24:
  • Administrativia
  • El lenguaje de los conjuntos
• Jueves 01/26
  • Repaso: administrativia
  • Repaso: el lenguaje de los conjuntos
• Martes 01/31
  • Abstracciones y modelos: el supermercado
• Jueves 02/02
  • Modelo del Supermercado (Market)
• Martes 02/07
  • Extensión de modelos: modificación vs. refinamiento
    • Modelo del supermercado modifcado
    • Modelo del supermercado refinado
• Jueves 02/09
  • Conceptos y definición de nuevos conjuntos
• Martes 02/14
  • Un sistema de lectura/escritura con exclusión mutua
• Jueves 02/16
  • Modelo del sistema de lectura/escritura con exclusión mutua
• Martes 02/21
  • Solución al Parcial 1 de 2016-1: el sistema del termostato
• Jueves 02/23
  • Modelo del tren con números únicamente
  • Modelo del tren con números y conjuntos (y más detalle)
• Martes 02/28
  • Parcial 1
• Jueves 03/02
  • Solución Parcial 1
• Martes 03/07
  • Repaso de lógica proposicional
• Jueves 03/09
  • La isla de Caballeros y Escuderos
• Martes 03/14
  • Conceptos básicos de funciones
• Jueves 03/16
  • El modelo del tren con asignación de sillas por pasajero
• Martes 03/21
  • Enunciado del sistema inteligente de bicicletas
• Jueves 03/23
  • Enunciado del sistema inteligente de bicicletas
• Martes 03/28
  • Más sobre funciones y sus propiedades
• Jueves 03/30
  • Un modelo para el sistema inteligente de bicicletas
    • Restricciones de dominio y rango
    • Sustracciones de dominio y rango
    • Inversas de funciones inyectivas
• Martes 04/04
  • Aún más sobre funciones y sus propiedades
• Jueves 04/06
  • Restricciones, sustracciones e inversas
• Martes 04/18
  • Repaso de funciones
• Jueves 04/20
  • Parcial 2
• Martes 04/25
  • Solución Parcial 2
• Jueves 04/27
  • Introducción a relaciones
• Martes 05/02
  • Modelo de la librería de música
  • Quiz
• Jueves 05/04
  • El Algoritmo CASH

Exámenes pasados

• Primer parcial
  • 2016-2, 2016-1, 2015-2, 2015-1, 2014-2
• Segundo parcial
  • 2016-2

Otros recursos

• Guía de símbolos para Rodin