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

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.