SISTEMAS NUMÉRICOS. Introducción; Sistema decimal; Sistemas binario, octal y hexadecimal; Generalización de las conversiones. MÉTODOS DE CONTEO. Principios fundamentales del conteo; Principio fundamental del producto; Permutaciones; Combinaciones. CONJUNTOS. Concepto de conjunto; Subconjuntos; Diagramas de Venn; Operaciones y leyes de conjunto; Simplificación de expresiones usando leyes de conjuntos; Conjuntos finitos. LÓGICA MATEMÁTICA. Proposiciones; Tablas de verdad; Inferencia lógica; Equivalencia lógica; Predicados y sus valores de verdad.  ÁLGEBRA BOOLEANA. Expresiones booleanas; Propiedades de las expresiones booleanas; Optimización de expresiones booleanas; Compuertas lógicas. RELACIONES. Elementos de una relación; Producto cartesiano; Tipos de relaciones; Relaciones de equivalencia, clases de equivalencia y particiones; Funciones. GRAFOS. Partes de un grafo; Tipos de grafos; Representación matricial; Caminos y circuitos; Isomorfismo; Grafos planos; Coloración de grafos; Aplicación de los grafos.  ÁRBOLES; Propiedades de los árboles; Tipos de los árboles; Bosques; Recorrido de un árbol. INTRODUCCION A LOS LENGUAJES FORMALES. Gramáticas y lenguajes formales; Autómatas finitos; Máquinas de estado finito; Teoría de la computabilidad; Aplicación de los lenguajes formales

Jiménez Murillo, José A 2014 2014