Presentación del grupo 7046 - 2012-1.

Sinopsis:

Las  estructuras discretas son aquellos entes matemáticos que se pueden  contar, como son los números naturales, las relaciones sobre conjuntos  finitos o infinitos numerables 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. El enfoque utilizado  se apega a la formalidad matemática pero haciendo é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.

La página del curso se encuentra aquí