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
- Capítulo 4: El sistema de Dijkstra y Scholten
- xorcypher.py
- 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
- Nota 1: Acertijos
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
Otros enlaces
- Parcial 1 (2013-2)
- Parcial 2 (2013-2)
- WinDjView/MacDjView (Lector DJVU para Windows y Mac OS X)