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


Anuncios recientes

  • Notas tercio 3 A continuación encuentran las notas del tercer tercio:
    Posted Dec 10, 2013, 5:31 PM by Camilo Rocha
  • Notas (incompletas) tercio 3 A continuación encuentran las notas (incompletas) del tercio 3: hace falta la nota del parcial y del proyecto. Los bonos de la maratón están indicados.
    Posted Dec 3, 2013, 8:16 AM by Camilo Rocha
  • Notas tercio 2 A continuación encuentran las notas del segundo tercio:
    Posted Oct 25, 2013, 9:14 AM by Camilo Rocha
Showing posts 1 - 3 of 15. View more »

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