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