2013-2

Información general

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

  • Grupo 1: Martes (A-105) 7:00 - 8:30 y Miércoles (C1-203) 7:00 - 8:30
    • Monitor: Luis Felipe Díaz Chica (luis.diaz-c *at* mail.escuelaing.edu.co)
    • Horario de atención: Miércoles 14:00 - 15:30 y Viernes 14:30 - 16:00
  • Grupo 2: Martes (A-105) 7:00 - 8:30 y Miércoles (C1-102) 8:30 - 10:00
    • Monitor: Jairo Gil (jairo.gil *at* mail.escuelaing.edu.co)
    • Horario de atención: Jueves 8:30 - 10:00 y 16:00 - 17:30 (Laboratorio de informática)

Horas de oficina Lunes 8:30 - 11:30, Martes 8:30 - 10:00, Miércoles 13:30 - 14:30

Programa del curso

Material

Ejercicios de trabajo

  • Semana 1: Acertijos en la isla de caballeros y escuderos
  • Semana 2: Tautologías y leyes de DeMorgan
  • Semana 3: Conjuntos de conectivos suficientes, argumentos y validez.
  • Semana 4: Teoremas, el meta-teorema de la deducción y extensiones.
  • Semana 5: (parcial)
  • Semana 6: Notas de clase
  • Semana 7: Notas de clase
  • Semana 8: Notas de clase
  • Semana 9: Notas de clase
  • Semana 10: (parcial)
  • Semana 11: Simbolización e interpretaciones en Lógica de Primer Órden
  • Semana 12: Especificación y verificación de propiedades de arreglos

Moodle

Notas de clase

Proyecto

Tareas

  • Semana 1: para entregar por escrito en clase el 08/13
  • Semana 2: para entregar por escrito en clase el 08/20
  • Semana 3: para entregar por escrito en clase el 08/27
  • Semana 4: para entregar por escrito en clase el 09/03
  • Semana 5: parcial
  • Semana 6: para entregar por escrito en clase el 09/18
  • Semana 7: para entregar por escrito en clase el 09/25
  • Semana 8: para entregar por escrito en clase el 10/02
  • Semana 9: no hay
  • Semana 10: parcial
  • Semana 11: para entregar por escrito en clase el 10/30
  • Semana 12: para entregar por escrito en clase el 11/06
  • Semana 13: para entregar por escrito en clase el 11/13

Otros enlaces