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

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

Técnicas básicas de probaEditar

  1. Dedución natural
  2. Indución

Conxuntos, relacións en funciónsEditar

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

CombinatoriaEditar

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

Teoría de grafosEditar

  1. Grafos
  2. Estratexias de percorrido de grafos

Véxase taménEditar