2014-2

Información general

Profesor Camilo Rocha (camilo.rocha *at* escuelaing.edu.co)
  • Grupo 1: Martes (A-110) 14:30 - 16:00 y Miércoles (C1-204) 16:00 - 17:30
  • Grupo 2: Martes (A-110) 14:30 - 16:00 y Miércoles (C1-204) 17:30 - 19:00
Horas de oficina Lunes 17:30 - 19:00; Martes 10:30 - 12:00

Horario de atención de monitores
  • Duván Andrey Barrera Heredia (duvan.barrera *at* mail.escuelaing.edu.co)
    • Lunes 10:00 - 11:30 (Laboratorio Informática / Bloque B0)
    • Miércoles 10:00 - 11:30 (Laboratorio Informática / Bloque B0)

Material

Moodle
Notas

Notas de clase
  • Todos los capítulos
    • Capítulo 1: Preámbulo
    • Parte 1: Lógica proposicional (incluye Capítulo 1)
      • Capítulo 2: Lenguaje y especificación
      • Capítulo 3: Semántica
        • Procedimiento de decisión proposicional basado en DS
      • Capítulo 5: Técnicas de razonamiento y demostración
    • Parte 2: Lógica de predicados
      • Capítulo 6: Lenguaje y especificación
      • Capítulo 7: El sistema de Dijkstra y Scholten para primer órden

Notas adicionales

Tareas
  • Semana 1: para entregar por escrito en clase el 12/08
    • 1.2: 1, 2, 5, 7
    • 1.3: 1, 5
  • Semana 2: para entregar por escrito en clase el 19/08
    • 2.1: 2, 3, 4
    • 2.2: 1 (a,c), 2 (a,c), 3 (a,c), 4 (a,c), 5 (a,c)
    • 2.3: 1 (a,c), 2 (a,c)
    • 2.4: 1, 3, 5
  • Semana 3: para entregar por escrito en clase el 26/08
    • 3.1: 1, 2, 3, 4 (a,c,e), 5, 9, 11, 12
    • 3.2: 1, 2, 5, 6
    • acertijos
  • Semana 4: para entregar por escrito en clase el 02/09
    • 3.3: 1 (a,c,e), 2 (a,c,e), 4, 5, 9, 10 (a), 11 (a,c), 12
    • 3.4: 1 (a,c), 4 (a), 6 (a,c), 7 (a), 8 (a,c)
  • Semana 6: para entregar por escrito en clase el 17/09
    • 4.1: 1, 2 (a,c,e), 3 (a,c,e), 4, 6, 8, 9
    • 4.2: 1, 2, 6(a)
    • 4.3: 1, 3, 7, 8, 9, 10
  • Semana 7: para entregar por escrito en clase el 24/09
    • 4.4: 2, 3, 8
    • 4.5: 3, 4
    • 4.6: 1, 3, 4, 5, 8
  • Semana 8: para entregar por escrito en clase el 01/10
    • 4.4: 11, 13
    • 4.5: 6
    • 4.6: 16
    • 4.7: 15, 19, 23, 26, 34, 40 (a,c), 41 (a,c), 43, 45, 46, 47
    • 5.1: 1 (a,c,e,q,s,x,z), 2 (a,c), 3
  • Semana 11: para entregar por escrito en clase el 10/28
    • 5.3: 1, 2, 5 (b), 6 (b), 7 (b)
    • 5.4: 2 (b), 4 (b), 7, 8
    • Teorema 4.29.3 usando el Metateorema de la Deducción
  • Semana 12: para entregar por escrito en clase el 11/05
    • 5.1: 5 (a,c,e)
    • 5.5: 2, 3, 5, 8, 10, 11,15, 23, 25, 29, 40, 42 (a,e,j,k)
  • Semana 13: para entregar por escrito en clase el 11/12
    • 6.1: 8, 9, 17, 19, 20, 31
    • 6.2: 2, 5
    • 6.3: 5, 8, 9, 10
  • Semana 14: para entregar por escrito en clase el 11/19
    • 6.4: 1, 2, 5, 9, 10, 11, 12, 15, 17, 19
  • Semana 16 (opcional): para entregar por escrito en el exámen final el 12/01
    • 7.1: 1, 2, 3, 6
    • 7.2: 4, 9, 12, 16
    • 7.3: 4, 8, 11, 15, 17
    • 7.4: 1, 5, 7, 8, 9
    • 7.5: 1, 7 (transitiva), 10

Otros enlaces