Tema 1: Lógica de proposiciones: Proposición, valor de verdad, tabla de verdad, conectores lógicos. Equivalencias lógicas, tautologías y absurdos. Implicaciones lógicas. Razonamiento lógico, inferencias y falacias. Álgebra de Boole y funciones booleanas.
Tema 2: Lógica de predicados: Predicados, cuantificador existencial y cuantificador universal, cuantificadores anidados, leyes de De Morgan con cuantificadores. Inferencias con cuantificadores, demostraciones directas e indirectas, principio de inducción.
Tema 3: Conteo y combinatoria: Principios básicos del conteo y la combinatoria: principio del producto, principio de la suma, principio de inclusión-exclusión para dos o más sucesos. Combinatoria: permutaciones, variaciones y combinaciones con y sin repetición. Repartos y sus propiedades. Principio de las casillas.
Tema 4: Teoría de números y aritmética modular. División euclídea, números primos y compuestos, teorema fundamental de la aritmética, factorización de un número, criba de Eratóstenes, máximo común divisor, algoritmo de Euclides, identidad de Bezout resolución de ecuaciones diofánticas. Congruencias módulo m y sus propiedades, operaciones con congruencias, ecuaciones en congruencias lineales, inverso de una congruencia. Aplicaciones de las congruencias, dígitos de control, generadores de secuencias pseudoaleatorias, cifradores afines.
Tema 5: Grafos y árboles: Elementos y propiedades de los grafos, caminos y ciclos en un grafo, grafos eulerianos y grafos hamiltonianos. Representación matricial de un grafo y sus aplicaciones, isomorfismo entre grafos. Grafos dirigidos y grafos ponderados, problemas de flujo y problemas de camino mínimo. Elementos de un árbol, árbol mínimo generador de un grafo. Árboles con raíz y sus elementos, árboles m-arios, árboles binarios. Recorridos de un árbol en amplitud y en profundidad. Algunos ejemplos de árboles con raíz: árboles de decisión, árboles de juegos.
Tema 6: Introducción a los autómatas: Máquinas de estado finito, autómatas finitos, diagrama de transición y tabla de transición de un autómata, cadenas aceptadas por un autómata. Autómatas equivalentes, diseño de autómatas. Autómatas deterministas y no deterministas. Autómatas celulares. Aplicaciones de los autómatas.