2018-2
Información general
Profesor Camilo Rocha (camilo.rocha *at* escuelaing.edu.co)
Horario
- Miércoles y jueves 16:00 - 17:30
Horas de oficina Por cita
Material
Tareas
- Tarea 1: para entregar el viernes 31 de agosto.
- Tarea 2: para entregar el viernes 28 de septiembre.
- Tarea 3: para entregar el miércoles 31 de octubre.
Parciales
- Parcial 1: para entregar el martes 11 de septiembre antes de las 6pm.
- Parcial 2: para entregar el domingo 28 de octubre antes de las 12m.
Especificaciones en Maude
- Números naturales
- Listas sintácticas
- Listas con axiomas estructurales
- El acertijo de las jarras (en inglés, jugs puzzle)
- Árboles binarios de búsqueda (en inglés: binary search trees)
Parciales anteriores