Cronograma de trabajo Matemática Discreta 2 - 2022

Semana Temas: Comentarios

1 Introducción al curso (Objetivos del curso, Sistema de Lectura recomendada:
Evaluación) Matemáticas discretas con
Resumen de Teoría de conjuntos y álgebra booleana. aplicaciones. Susanna Epp.
Viernes • Conjuntos y subconjuntos de un conjunto. Secciones 6.1, 6.2, 6.3 y 6.4
12 agosto • Igualdad de conjuntos.
• Operaciones con conjuntos.
• Conjunto vacío, conjunto potencia, producto
cartesiano.
• Propiedades de conjuntos.
• Álgebra booleana.
2 Relaciones sobre conjuntos. Lectura recomendada:
• Relación e inversa de una relación. Matemáticas discretas con
Viernes • Propiedades de las relaciones. (Reflexividad, aplicaciones. Susanna Epp.
19 agosto simetría y transitividad). Secciones 8.1, 8.2, 8.3 y 8.5
• Relaciones de equivalencia y clases de
equivalencia.
• Relación de orden parcial.
3 Funciones. Lectura recomendada:
• Funciones definidas sobre conjuntos. Matemáticas discretas con
Viernes • Funciones inyectivas, sobreyectivas y biyectivas. aplicaciones. Susanna Epp.
26 agosto Secciones 7.1 y 7.2

4 Funciones (Continuación). Lectura recomendada:

• Inversa de una función. Matemáticas discretas con
Viernes • Composición de funciones. aplicaciones. Susanna Epp.
2 septiembre Secciones 7.2 y 7.3

5 1ra prueba corta Nota: La prueba será en el primer

módulo de clase.
Viernes Cálculo proposicional
9 septiembre • Proposiciones y tablas de verdad. Lecturas recomendadas:
• Proposiciones compuestas y fórmulas bien • Matemáticas discretas con
formadas. aplicaciones. Susanna Epp.
• Tautología y contradicción. Sección 2.1
• Equivalencias lógicas • Rosen (secciones 1.1, 1.2)
• Stoll (Secciones 4.1, 4.2 y 4.3)

6 Cálculo proposicional (continuación) Lecturas recomendadas:

• Implicaciones y bicondicionales. • Matemáticas discretas con
Viernes • Inversa, recíproca y contrarrecíproca de una aplicaciones. Susanna Epp.
16 de septiembre implicación. Sección 2.2
• Equivalencias lógicas con implicaciones. • Rosen (secciones 1.1, 1.2)
• Traducciones entre el lenguaje natural y formal. • Stoll (Secciones 4.1, 4.2 y 4.3)

7 Cálculo proposicional (continuación). Lecturas recomendadas:

• Revisión del cálculo proposicional, • Matemáticas discretas con
Viernes demostraciones y preparación para el parcial. aplicaciones. Susanna Epp.
23 septiembre Secciones 2.1 y 2.2
• Rosen (secciones 1.1, 1.2)
• Stoll (Secciones 4.1, 4.2 y 4.3)
 8 Observación:
Viernes 1ra PRUEBA PARCIAL
30 septiembre

3 - 7 octubre Semana UCU No hay clases.

9 Cálculo proposicional (continuación) Lectura de texto:

• Argumentos válidos y deducción natural. Matemáticas discretas con
Viernes • Reglas de inferencia y demostraciones. aplicaciones. Susanna Epp.
14 octubre Secciones 2.3 y 2.4

10 Formulación del Cálculo de Predicados. Lecturas recomendadas:

• Predicados (Funciones proposicionales) • Rosen (Sección 1.3)
Viernes • Cuantificadores (Universal y Existencial) • Stoll (Secciones 4.6, 4.7 y 4.8)
21 octubre • Variables ligadas.
• Negación de cuantificadores y equivalencias.
• Traducciones entre lenguaje natural y formal.
11 Formulación del Cálculo de Predicados Lecturas recomendadas:
(Continuación). • Rosen (Sección 1.3)
Viernes • Fórmulas bien formadas. • Stoll (Secciones 4.6, 4.7 y 4.8)
28 octubre • Valor de verdad de una fórmula.
• Traducciones entre lenguaje natural y formal.
12 Formulación del Cálculo de Predicados Lectura de texto:
(Continuación).
Viernes • Cuantificadores anidados. • Rosen (Sección 1.4)
4 noviembre • Negación de los cuantificadores anidados.
• Orden de los cuantificadores.
• Traducciones entre lenguaje natural y formal.

13 2da prueba corta Nota: La prueba será en el primer

módulo de clase.
Consecuencia lógica y Demostraciones.
Viernes
• Conceptos básicos. Lecturas recomendadas:
11 noviembre
• Reglas de inferencia. • Rosen (Secciones 1.5)
• Consecuencia lógica (argumentos válidos). • Stoll (Secciones 4.4, 4.5 y
4.9),

14 Consecuencia lógica y Demostraciones Lecturas recomendadas:

(Continuación). • Rosen (Secciones 1.5)
Viernes • Reglas de inferencia para sentencias cuantificadas. • Stoll (Secciones 4.4, 4.5 y 4.9)
18 noviembre • Tipos de demostraciones.

15 Observación:
2da PRUEBA PARCIAL
Viernes
25 noviembre

16
CIERRE DEL CURSO
 Viernes
2 diciembre

Prueba complementaria

Elaborado por el docente del curso:

Dainel Arzuaga Rodríguez