LOGICA Y DEMOSTRACIONES. Proposiciones; Proposiciones condicionales y equivalencia lógica; cuantificadores.EL LENGUAJE DE LAS MATEMATICAS. Conjuntos; funciones; Sucesiones y cadenas. RELACIONES. Relaciones; Relaciones de equivalencia; Matrices de relaciones. ALGORTIMOS. Introducción; Ejemplos de algoritmos; Análisis de algoritmos. INTRODUCCION A LA TEORIA DE NUMEROS. Divisores; Representaciones de enteros y algoritmos enteros; El algoritmo euclidiano. METODOS DE CONTEO Y EL PRINCIPIO DE PALOMAR. Principios básicos; Permutaciones y combinaciones; Algoritmos para generar permutaciones y combinaciones. RELACIONES DE RECURRENCIA. Introducción; Solución de relaciones de recurrencia; aplicaciones al análisis de algoritmos. TEORIA DE GRAFICAS. Introducción; Trayectorias y ciclos; Ciclos hamiltonianos y el problema del agente viajero. ARBOLES. Terminología y caracterización de arboles; Arboles de expansión; Arboles de expansión mínima. MODELOS DE REDES. Algoritmo de flujo máximo; Teorema de flujo máximo y corte mínimo; acoplamiento. ALGEBRAS BOOLEANAS Y CIRCUITOS COMBINATORIOS. Circuitos combinatorios; Propiedades de los circuitos combinatorios; Algebras booleanas. AUTOMATAS, GRAMATICAS Y LENGUAJES. Circuitos secuenciales y maquinas de estado finito; Autómata de estado finito; Lenguajes y gramáticas. GEOMETRIA PARA CÁLCULO. Problema del par mas cercano; Algoritmo para calcular el casco convexo

Johnsonbaugh, Richard 2005 2005