La matemática discreta es el área de las matemáticas que proporciona gran parte de los fundamentos de las ciencias de la computación y se encarga del estudio de estructuras finitas o infinitas numerables, es decir, estructuras que se pueden contar, como son los números naturales, las gráficas finitas o las pruebas formales que involucran procesos de razonamiento mediante un número finito de pasos. En este curso presentamos una amplia introducción a algunos de los temas de la matemática discreta que son más relevantes para las ciencias de la computación: la lógica matemática, los mecanismos de recursión e inducción numérica y estructural, así como una introducción a la teoría de la gráficas. El enfoque utilizado se apega a la formalidad matemática pero haciendo énfasis en aplicaciones computacionales relevantes, como son los algoritmos de exploración en gráficas, los métodos lógicos para verificar razonamientos correctos o los mecanismos de definición de funciones recursivas. La página del curso se encuentra aquí |