TY  - BOOK
AU  - Jiménez Murillo José A.
TI  - Matemáticas para la computación / 
SN  - 9789701514016
AV  - 519.4 J45m 
CY  - México : 
PB  - Alfaomega
KW  - Sistemas numéricos; Conjuntos; Lógica matemática; Álgebra booleana; Grafos; Relaciones; Arboles binarios; Lenguajes de programación (Computadores electrónicos); Computación; Matemáticas; Matemáticas computacionales; Matemáticas discretas
N1  - 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
ER  -