SEMANA 1

Temas: Preludio. Inducción. Sistemas formales. Inducción sobre teoremas.

Secciones: 0.1, 0.2, 0.3, 0.4

Tarea 1:
Sección 0.1: 2, 3, 4, 5, 7.
Sección 0.2: 4, 7, 8, 9, 12, 13, 16, 19, 21, 22, 31, 32, 34
Sección 0.3: 1, 2, 3, 4
Sección 0.4: 5, 6, 8, 10, 12

SEMANA 2
Temas: Lenguaje proposicional y especificación.
Secciones: 1.1, 1.2, 1.3, 1.4

Tarea 2:
Sección 1.1: 1, 2, 3.
Sección 1.2: 1(b, d, f), 2(a, c, e), 3, 4, 5.
Sección 1.3: 1(b, f, h), 2(e, g), 3, 4, 5.
Sección 1.4: 2, 3, 7.

SEMANA 3
Temas: Funciones Booleanas, Valuaciones.
Secciones: 2.1, 2.2

Tarea 3:
Sección 2.1: 1, 3, 4(a, d, j, k, m), 5, 8, 9, 13, 14
Sección 2.2: 1, 6, 7, 8, 9.

SEMANA 4
Temas: Clasificación de Proposiciones, Consecuencia Tautológica, Argumentaciones.
Secciones: 2.3, 2.4, 2.5

Tarea 4:
Sección 2.3: 1(b,c,f,g,k,l,n), 2(b,d), 3, 6(b,d,f,g), 8, 9, 10.
Sección 2.4: 1, 2, 6(a,c,d), 7
Sección 2.5: 2(b,d), 3
SEMANA 5:
Temas: La isla de caballeros y escuderos. EXAMEN DE PRIMER TERCIO
Secciones: 2.6

Tarea 5:
Sección 2.6: 2,11,12,13,14,18,19, 23

SEMANA 6
Temas: Sustitución textual. Instanciación de variables proposicionales. Reemplazo de
‘iguales por iguales’.
Secciones: 3.1, 3.2, 3.3.

Tarea 6:
Sección 3.1: 2(b,d,f,g), 3(a,c,e,g), 5
Sección 3.2: 1,4(a),5, 8b
Sección 3.3: 1,8,9

SEMANA 7
Temas: El sistema formal DS, Propiedades, La negación y la discrepancia.
Secciones: 4.1, 4.2, 4.3

Tarea 7:
Sección 4.1: 1, 5, 6
Sección 4.2: 4, 5(b), 6(a)
Sección 4.3: 2, 4

SEMANA 8
Temas: La negación y la discrepancia. La disyunción. Derivaciones.
Secciones: 4.3, 4.4, 4.5

Tarea 8:
Sección 4.3: 5,6,8,9,10
Sección 4.4: 1,2,3,7,10,11,12,13
Sección 4.5: 3,4,5,6
SEMANA 9
Temas: La conjunción. La implicación y la consecuencia. Eliminación de paréntesis.
Técnicas básicas.
Secciones: 4.6, 4.7, 5.1, 5.2

Tarea 9:
Sección 4.6: 4,5,6,8,9,11,12,16,17
Sección 4.7: 3,7,10,17,18,23,24,35,38,40(a,c),43,44,45
Sección 5.1: 1(a,f,m,t,w,x,z),2,5
Sección 5.2: Leer

SEMANA 10
Temas: Derivaciones Relajadas. Deducción y Metateorema de la Deducción. Técnicas
Complementarias. EXAMEN SEGUNDO TERCIO
Secciones: 5.3, 5.4, 5.5

Tarea 10:
Sección 5.3: 5,6,8
Sección 5.4: 8,10,11
Sección 5.5: 19,26,27

SEMANA 11
Temas: Lenguaje de primer orden. Términos. Fórmulas. Variables libres y acotadas.
Secciones: 6.1, 6.2. 6.3. 6.4

Tarea 11:
Sección 6.1: 4
Sección 6.2: 2, 3
Sección 6.3: 8,10,11,12,14,16,19
Sección 6.4: 3,4,5,6

SEMANA 12
Temas: Sustitución de términos. Un lenguaje para arreglos.
Secciones: 6.5, 6.6

Tarea 12:
Sección 6.5: 1,2,3,4,5,6,10,11
Sección 6.6: 2,9,11,12,15,16,17,18,19. Opcionales: 15d,6d,17d, 18d
SEMANA 13
Temas: El sistema formal DS(L). La cuantificación universal.
Secciones: 7.1, 7.2

Tarea 13:
Sección 7.1: 1,2,4,5,6,7
Sección 7.2: 2,3,4,5,7,9,10,12,14,16

SEMANA 14
Temas: La cuantificación existencial.
Secciones: 7.3

Tarea 14:
Sección 7.3: 1,2,3,4,5,6,7,8,9,10,12,13,16,17

SEMANA 15
Temas: Algunos metateoremas.
Secciones: 7.4

Tarea 15:
Sección 7.4: 1,2,6,7,8,9,10

SEMANA 16
Temas: La igualdad.
Secciones: 7.5

Tarea 16:
Sección 7.5: 1,2,3,4,5,7,8,9,10