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

Esta materia carece de requisitos previos.

Índice

Lóxica de proposicións e de predicados

1. Lóxica de proposicións
2. Lóxica de predicados

Técnicas básicas de proba

1. Dedución natural
2. Indución

Conxuntos, relacións en funcións

1. Conxuntos
2. Relacións
3. Funcións

Combinatoria

1. Principios básicos da combinatoria
2. Formas de agrupamento

Teoría de grafos

1. Grafos
2. Estratexias de percorrido de grafos

Véxase tamén

• Guía da materia no sitio web da UNED (en castelán).