La teoría de conjuntos es una parte de las matemáticas que forma parte de la fundamentación de la lógica y de la informática. En este módulo se hará una introducción básica necesaria para la fundamentación de la lógica de predicados, pero su estudio en profundidad requiere conocimientos complejos de matemáticas y también de lógica. Nuestro objetivo es, únicamente, presentar las nociones básicas de la teoría de conjuntos con ejemplos y ejercicios sencillos.

Actualmente es indiscutible el hecho de que la teoría de conjuntos es imprescindible para fundamentar la lógica y en particular la lógica de predicados, ya que proporciona el lenguaje formal con el que expresar la semántica de la lógica de predicados, que será equivalente a las tablas de verdad de la lógica de enunciados. Este módulo, por tanto, además de proporcionaros una herramienta matemática de amplio uso en muchas otras asignaturas de informática, es importante para comprender una parte del módulo de lógica de predicados.

En los capítulos que siguen se presenta la llamada teoría básica de conjuntos, con los conceptos básicos de conjunto, subconjunto, elemento y pertenencia. Se presentan también los conceptos de relación y de función, que son fundamentales en muchos campos de la informática.