Saltar ao contido

Lóxica e estruturas discretas

En Galilibros, o Wikibooks en galego.

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]