Biblioteca - Centro Cultural - Jaime Panesso Tascón

Sistemas numéricos. -- Sistema decimal. -- Sistemas binario,octal y hexadecimal. -- Generalización de las conversiones. -- Operaciones básicas. -- Suma de dos cantidades en complementos a 2. -- Aplicación de los sistema numéricos. -- Métodos de conteo. -- Principios fundamentales del conteo. -- Permutaciones. -- Combinaciones. -- Aplicaciones en la computación. -- Conjuntos. -- Concepto de conjunto. -- Subconjuntos. -- Diagrama de Venn. -- Operaciones y leyes de conjuntos. -- Simplificación de expresiones usando leyes de conjuntos. -- Relación entre teoría de conjuntos, lógica matemática y álgebra booleana. -- Conjuntos finitos. -- Aplicación de la teoría de conjuntos. -- Lógica matemática. -- Propisiones. -- Tablas de verdad. -- Inferencia lógica. -- Equivalencia lógica. -- Argumentos válidos y no válidos. -- Demostración formal. -- Predicados y sus valores de verdad. -- Inducción matemática. -- Álgebra booleana. -- Expresiones boolenas. -- Propiedades de las expresiones booleanas. -- Optimización de expresiones booleanas. -- Compuertas lógicas. -- Aplicaciones del álgebra booleana. -- Relaciones. -- Elementos de una relación. -- Tipos de relaciones. -- Relaciones de equivalencia, clases de equivalencia y particiones. -- Operaciones entre relaciones. -- Propiedades de las relaciones. -- Aplicaciones de las relaciones. -- Funciones. -- Aplicación de las funciones. -- Grafos. -- Partes de un grafo. -- Tipos de grafos. -- Representación matricial. -- Caminos y circuitos. -- Isomorfismo. -- Graos planos. -- Coloración de grafos. -- Aplicaciones de los grafos. -- Árboles. -- Propiedades de los árboles. -- Tipos de árboles. -- Bosques. -- Árboles con pesos. -- Árboles generadores. -- Recorrido de un árbol. -- Búsquedas. -- Aplicación de los árboles. -- Introducción 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.