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).