000 | 02728nam a2200181 4500 | ||
---|---|---|---|
020 | _a9789701514016 | ||
050 | _a519.4 J45m | ||
100 | _aJiménez Murillo José A. | ||
245 |
_aMatemáticas para la computación / _cJosé A. Jiménez Murillo |
||
260 |
_aMéxico : _bAlfaomega |
||
300 | _a496 pag. | ||
505 | _aSistemas 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. | ||
650 | _aSistemas 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 | ||
008 | 141112s2009 mx r 000 u spa00 | ||
003 | 20140827 15 : 25 : 32 | ||
942 |
_2ddc _cBK |
||
001 | 5853 | ||
999 |
_c5791 _d5791 |