Ciencias de la Computación (plan 2013) 2015-1

Primer Semestre, Estructuras Discretas

Las estructuras discretas son aquellos entes matemáticos que se pueden contar, como son los números naturales, las estructuras de datos como listas o árboles, los programas de un lenguaje de programación o las pruebas formales que involucran procesos de razonamiento mediante un número finito de pasos. El área de las matemáticas dedicada a estudiar dichas estructuras se conoce como matemática discreta y proporciona gran parte de los fundamentos de las ciencias de la computación.

En este curso estudiaremos ampliamente algunas de las estructuras discretas que son más relevantes para las ciencias de la computación mediante el estudio de lógica matemática, los mecanismos de recursión e inducción numérica y estructural, así como las relaciones en conjuntos, con hincapié en las relaciones de orden. El enfoque utilizado se apega a la formalidad matemática pero con énfasis en aplicaciones computacionales relevantes, como son los métodos lógicos para verificar razonamientos correctos o los mecanismos de definición de funciones recursivas y de verificación mediante pruebas inductivas.

La página del curso está aquí