Tema 1.

Fundamentos de lógica.

Enunciados, conectivas y tablas de verdad. Formas normales. Conjuntos adecuados de conectivas. Tipos de demostración: directa, contrarrecíproco y reducción al absurdo. Cálculo de predicados.

Tema 2.

Conjuntos y aplicaciones.

Conceptos básicos. Álgebra de las partes de un conjunto. Aplicaciones. Relaciones de equivalencia y de orden.

Tema 3.

Álgebras de Boole. Funciones booleanas

Retículos. Tipos de retículos. Álgebras de Boole. Funciones booleanas elementales: formas canónicas. Aplicaciones: circuitos boléanos.

Tema 4.

Introducción a la Teoría de Números: Aritmética Modular.

Los números naturales: inducción y primeras propiedades. Los números enteros. Divisibilidad y congruencias. Aplicaciones del teorema de Bezout. Sistemas de congruencias y de numeración.

Tema 5.

Nociones de complejidad computacional.

Complejidad de un algoritmo y complejidad de un problema. Las clases P y NP.