Estructuras de matemáticas discretas para la computación /
Bernard Kolman, Robert C. Busby, Sharon Ross.
- 3ra. [i.e. en inglés, 2da. en español]
- México: Prentice Hall, 1995
- 524 p.
CONTENIDO 1 Conceptos fundamentales 1 Conjuntos y subconjuntos 1 Operaciones con conjuntos 5 Sucesiones 14 División en los enteros 22 Matrices 30 Estructuras matemáticas 39 2 Lógica 46 Proposiciones y operaciones lógicas 46 Proposiciones condicionales 52 Métodos de demostración 58 Inducción matemática 64 3 Conteo 72 Permutaciones 72 Combinaciones 78 Principio de las casillas 82 Elementos de probabilidad 85 Relaciones de recurrencia 95 4 Relaciones y dígrafos 101 Conjuntos producto y particiones 101 Relaciones y digrafos 106 Trayectorias en relaciones y digrafos 116 Propiedades de las relaciones 124 Relaciones de equivalencia 131 Representación en computadora de relaciones y digrafos 136 Manipulación de relaciones 146 Cerradura transitiva y algoritmo de Warshall 157 5 Funciones 167 Funciones 167 Funciones para la ciencia de la computación 177 Funciones de permutación 181 Crecimiento de funciones 190 6 Temas de la teoría de gráficas 197 Gráficas 197 Trayectorias (caminos) y circuitos de Euler 204 Trayectorias y circuitos hamiltonianos 213 Coloración de gráficas 218 7 Relaciones y estructuras de orden 225 Conjuntos parcialmente ordenados 225 Elementos extremos de conjuntos parcialmente ordenados 239 Retículas 246 Álgebras booleanas finitas 259 Funciones de álgebras booleanas 266 Funciones booleanas como polinomios booleanos (diseño de circuitos) 271 8 Arboles 286 Arboles 286 Árboles etiquetados 292 Búsqueda en árboles 299 Árboles no dirigidos 310 Árboles de expansión mínima 321 9 Semigrupos y grupos 329 Repaso de las operaciones binarias 329 Semigrupos 334 Semigrupos productos y cocientes 342 Grupos 349 Grupos productos y cocientes 361 10 Lenguajes y máquinas de estado finito 368 Lenguajes 368 Representaciones de lenguajes y gramáticas especiales 378 Máquinas de estado finito 391 Semigrupos, máquinas y lenguajes 398 Máquinas y lenguajes regulares 404 Simplificación de máquinas 412 11 Grupos y codificación 420 Codificación de información binaria y detección de errores 421 Decodificación y corrección de errores 432 Apéndice A Algoritmos y seudocódigo 444 Apéndice B Experimentos en matemáticas discretas 458 Respuestas a los ejercicios impares 477 Indice 513
9688807990
MATEMATICAS DISCRETAS LOGICA GRUPOS ESTADO FINITO ARBOLES SEMIGRUPOS CONTEO MATEMATICO FUNCIONES RELACIONES FUNCIONALES