Descripción: Discutimos los conceptos fundamentales asociados con grafos, latices (reticulados) e inducción matemática.

Actividades: Revisión de las láminas y varios ejercicios en el computador.

Evaluación: Debates.

Material de apoyo: Cualquier texto de matemáticas discretas. Bitácoras y láminas de clase.

SESIONES DE UNIDAD 02:

Sesión 1: Inducción matemática y conjuntos parcialmente ordenados.

Descripción: Conocemos la regla de inducción matemática y cómo se le emplea en razonamiento formal. Luego definimos los conjuntos parcialmente ordenados y discutimos cómo convertirlos en una estructura de significación para un lenguaje.
Actividades: Revisar las láminas.
Evaluación: Debates y ejercicios en el computador.
Material de apoyo: Bitácoras y láminas de clase.

Sesión 2: Fundamentos de la teoría de grafos.

Descripción: Revisamos los fundamentos de la teoría de grafos y algunos reconstrucciones lógicas de problemas y algoritmos asociados con grafos.
Actividades: Revisión de las bitácoras y de las láminas.
Evaluación: Un argumento no formal.
Material de apoyo: Bitácoras y láminas de clase.