Lóxica e estruturas discretas

En Galilibros, o Wikibooks en galego.
Saltar ata a navegación Saltar á busca

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]

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

Técnicas básicas de proba[editar]

  1. Dedución natural
  2. Indución

Conxuntos, relacións en funcións[editar]

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

Combinatoria[editar]

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

Teoría de grafos[editar]

  1. Grafos
  2. Estratexias de percorrido de grafos

Véxase tamén[editar]