Curso de Lógica y Matemática - Unidad 2: Matemática discreta

Abstract

Curso de Lógica y Matemática

Unidad 2: Matemática discreta

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.

Tabla de contenido del Curso de Lógica y Matemática