TY  - BOOK
AU  - Kolman,Bernard
AU  - Busby,Robert C.
AU  - Ross,Sharon
TI  - Estructuras de matemáticas discretas para la computación / 
SN  - 9688807990
PY  - 1995///
CY  - México
PB  - Prentice Hall
KW  - MATEMATICAS DISCRETAS
KW  - LOGICA
KW  - GRUPOS
KW  - ESTADO FINITO
KW  - ARBOLES
KW  - SEMIGRUPOS
KW  - CONTEO MATEMATICO
KW  - FUNCIONES
KW  - RELACIONES FUNCIONALES
N1  - 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
ER  -