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 previosEditar
Esta materia carece de requisitos previos.
ÍndiceEditar
Lóxica de proposicións e de predicadosEditar
Técnicas básicas de probaEditar
Conxuntos, relacións en funciónsEditar
CombinatoriaEditar
Teoría de grafosEditar
Véxase taménEditar
- Guía da materia no sitio web da UNED (en castelán).