CONTENIDO: SISTEMAS NUMÉRICOS
Introducción
Sistema decimal
Sistema binario, octal y hexadecimal
Generalización de las conversiones
Operaciones básicas
Suma de dos cantidades en complemento a
Multiplicación de dos cantidades usando el algoritmo de Booth
Aplicación de los sistemas numéricos
Resumen
Material Web Complementario
Problemas
MÉTODOS DE CONTEO
Introducción
Principios fundamentales del conteo
Permutaciones
Combinaciones
Principio del palomar
Aplicaciones en el área de la computación
Resumen
Material Web Complementario
Problemas
CONJUNTOS
Introducción
Concepto de conjunto
Subconjuntos
Diagramas 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
Resumen
Material Web Complementario
Problemas
LÓGICA MATEMÁTICA
Introducción
Proposiciones
Tablas de verdad
Inferencia lógica
Equivalencia lógica
Demostración formal
Argumentos válidos y no válidos
Predicados y sus valores de verdad
Inducción matemática
Aplicación de la lógica matemática
Resumen
Problemas
ÁLGEBRA BOOLEANA
Introducción
Expresiones booleanas
Propiedades de las expresiones booleanas
Optimización de expresiones booleanas
Compuertas lógicas
Aplicaciones del álgebra booleana
Resumen
Problemas
RELACIONES
Introducción
Elementos de una relación
Tipos de relaciones
Relaciones de equivalencia, clases de equivalencia y particiones
Operaciones entre relaciones
Propiedades de las relaciones
Diagramas de Hasse
Aplicaciones de las relaciones
Funciones
Funciones invertibles
Aplicación de las funciones
Resumen
Problemas
GRAFOS
Introducción
Partes de un grafo
Tipos de grafos
Representación matricial
Caminos y circuitos
Isomorfismo
Grafos planos
Coloración de grafos
Aplicaciones de los grafos
Resumen
Problemas propuestos ÁRBOLES
Introducción
Propiedades de los árboles
Tipos de árboles
Bosques
Árboles con pesos
Árboles generadores
Recorrido de un árbol
Búsquedas
Aplicación de los árboles
Resumen
Problemas
INTRODUCCIÓN A LOS LENGUAJES FORMALES
Introducción
Gramáticas y lenguajes formales
Autómatas finitos
Máquinas de estado finito
Teoría de la computabilidad
Aplicación de los lenguajes formales
Resumen
Problemas
Respuestas seleccionadas
Índice analítico
Resumen
Esta obra es un libro de texto para los cursos de matemáticas discretas que se imparten en las carreras del área de Informática e Ingeniería en Sistemas Computacionales, y se destaca por presentar un tratamiento riguroso y claro de cada uno de los temas a través de una amplia variedad de ejemplos desarrollados con todo detalle, además de exponer en forma sistemática las aplicaciones más relevantes de las matemáticas discretas en las diferentes áreas de la computación que el alumno conocerá a lo largo de su carrera.