Lóxica e estruturas discretas
O obxectivo desta materia consiste en fornecer estruturas matemáticas sobre as que modelar problemas (preguntas, restricións, sobre un determinado conxunto de datos). Facilita ademais os mecanismos de dedución necesarios para construír a solución a eses problemas ou para comprobar que a solución obtida é correcta.
Requisitos previos[editar]
Esta materia carece de requisitos previos.
Índice[editar]
Lóxica de proposicións e de predicados[editar]
Técnicas básicas de proba[editar]
Conxuntos, relacións en funcións[editar]
Combinatoria[editar]
Teoría de grafos[editar]
Véxase tamén[editar]
- Guía da materia no sitio web da UNED (en castelán).