v

CONTENIDO

Contenido
Contenido de la pgina Web de apoyo ............................................................
Pgina Web de apoyo........................................................................................
Prefacio ..............................................................................................................

Captulo I Sistemas numricos

xi
xvii
xix

1.1

Introduccin .......................................................................................................

1.2

Sistema decimal.................................................................................................

1.3

Sistemas binario, octal y hexadecimal.............................................................

1.3.1

Sistema binario ....................................................................................

1.3.2

Sistema octal ........................................................................................

1.3.3

Sistema hexadecimal ..........................................................................

10

1.4

Generalizacin de las conversiones .................................................................

12

1.5

Operaciones bsicas .........................................................................................

13

1.5.1

Suma .....................................................................................................

14

1.5.2

Resta .....................................................................................................

16

1.5.3

Multiplicacin ......................................................................................

19

1.5.4

Divisin ................................................................................................

21

1.6

Suma de dos cantidades en complemento a 2 ................................................

24

1.7

Aplicacin de los sistemas numricos .............................................................

30

1.8

Resumen ............................................................................................................

32

1.9

Problemas ..........................................................................................................

34

Captulo II Mtodos de conteo

40

2.1

Introduccin .......................................................................................................

42

2.2

Principios fundamentales del conteo...............................................................

42

2.2.1

Principio fundamental del producto ..................................................

42

2.2.2

Principio fundamental de la adicin ..................................................

45

ALFAOMEGA

PRELIMINARES OK.indd v

12/12/08 4:10:38 AM

vi

CONTENIDO

2.3

Permutaciones ...................................................................................................

46

2.4

Combinaciones ..................................................................................................

52

2.5

Aplicaciones en la computacin.......................................................................

57

2.5.1

Binomio elevado a la potencia n ........................................................

57

2.5.2

Tringulo de Pascal .............................................................................

60

2.5.3

Sort de la burbuja (bubble sort) .........................................................

61

2.6

Resumen ............................................................................................................

62

2.7

Problemas ..........................................................................................................

64

Captulo III Conjuntos

72

3.1

Introduccin .......................................................................................................

74

3.2

Concepto de conjunto .......................................................................................

74

3.3

Subconjuntos .....................................................................................................

78

3.4

Diagramas de Venn ...........................................................................................

79

3.5

Operaciones y leyes de conjuntos ...................................................................

80

3.5.1

Unin (A B) .......................................................................................

80

3.5.2

Interseccin (A B) ............................................................................

82

3.5.3

Ley distributiva ...................................................................................

83

3.5.4

Complemento (A) ...............................................................................

84

3.5.5

Ley de Morgan .....................................................................................

85

3.5.6

Diferencia (A B) ................................................................................

87

3.5.7

Diferencia simtrica (A B) ...............................................................

87

3.6

Simplificacin de expresiones usando leyes de conjuntos ............................

92

3.7

Relacin entre teora de conjuntos, lgica matemtica

y lgebra booleana ............................................................................................

97

3.8

Conjuntos finitos ...............................................................................................

98

3.9

Aplicacin de la teora de conjuntos................................................................

101

3.10 Resumen ............................................................................................................

102

3.11 Problemas ..........................................................................................................

104

ALFAOMEGA

PRELIMINARES OK.indd vi

12/12/08 4:10:38 AM

vii

CONTENIDO

Captulo IV Lgica matemtica

4.1
4.2

4.3

4.4
4.5
4.6
4.7

4.8
4.9
4.10
4.11
4.12

114

Introduccin .......................................................................................................

116

Proposiciones .....................................................................................................

117

4.2.1
4.2.2
4.2.3

Proposiciones compuestas .................................................................

117

Proposicin condicional () ...............................................................

121

Proposicin bicondicional () ............................................................

122

Tablas de verdad ...............................................................................................

125

4.3.1
4.3.2
4.3.3

Tautologa, contradiccin y contingencia .........................................

127

Contradiccin.......................................................................................

129

Contingencia........................................................................................

130

Inferencia lgica ................................................................................................

130

Equivalencia lgica ...........................................................................................

133

Argumentos vlidos y no vlidos .....................................................................

137

4.6.1

Tipos de argumentos ..........................................................................

141

Demostracin formal .........................................................................................

142

4.7.1
4.7.2

Demostracin por el mtodo directo ..................................................

142

Demostracin por contradiccin ........................................................

147

Predicados y sus valores de verdad.................................................................

150

Induccin matemtica .......................................................................................

159

Aplicacin de la lgica matemtica .................................................................

163

Resumen ............................................................................................................

165

Problemas ..........................................................................................................

168

Captulo V lgebra booleana

5.1
5.2
5.3
5.4

176

Introduccin .......................................................................................................

178

Expresiones booleanas .....................................................................................

178

Propiedades de las expresiones booleanas.....................................................

180

Optimizacin de expresiones booleanas .........................................................

182

5.4.1
5.4.2

Simplificacin de expresiones booleanas mediante teoremas

del lgebra de Boole ............................................................................

182

Simplificacin de expresiones booleanas usando mapas

de Karnaugh ........................................................................................

185

ALFAOMEGA

PRELIMINARES OK.indd vii

12/12/08 4:10:39 AM

viii
5.5
5.6
5.7
5.8

CONTENIDO

Compuertas lgicas...........................................................................................

197

Aplicaciones del lgebra booleana ..................................................................

206

Resumen ............................................................................................................

209

Problemas ..........................................................................................................

210

Captulo VI Relaciones
6.1
6.2

218

Introduccin .......................................................................................................

220

Elementos de una relacin ...............................................................................

220

6.2.1
6.2.2
6.2.3
6.2.4

Producto cartesiano ............................................................................

222

Relacin binaria ...................................................................................

223

Matriz de una relacin ........................................................................

224

Grafo de una relacin ..........................................................................

225

Tipos de relaciones ...........................................................................................

227

6.3.1
6.3.2
6.3.3
6.3.4
6.3.5
6.3.6

Relacin reflexiva ................................................................................

228

Relacin irreflexiva ..............................................................................

228

Relacin simtrica ...............................................................................

229

Relacin asimtrica .............................................................................

229

Relacin antisimtrica.........................................................................

230

Relacin transitiva...............................................................................

230

Relaciones de equivalencia, clases de equivalencia y particiones ...............

235

6.4.1

Cerraduras ...........................................................................................

239

Operaciones entre relaciones ...........................................................................

242

Propiedades de las relaciones ..........................................................................

246

Aplicaciones de las relaciones .........................................................................

248

6.7.1
6.7.2

Una lista enlazada es una relacin ....................................................

248

Las relaciones en las bases de datos .................................................

253

Funciones ...........................................................................................................

257

6.8.1
6.8.2
6.8.3

Composicin de funciones ..................................................................

261

Tipos de funciones ..............................................................................

262

Funciones invertibles ..........................................................................

265

6.9 Aplicacin de las funciones ..............................................................................

6.10 Resumen ............................................................................................................
6.11 Problemas ..........................................................................................................

267

6.3

6.4
6.5
6.6
6.7

6.8

268
272

ALFAOMEGA

PRELIMINARES OK.indd viii

12/12/08 4:10:39 AM

ix

CONTENIDO

Captulo VII Grafos

284

7.1

Introduccin .......................................................................................................

286

7.2

Partes de un grafo .............................................................................................

287

7.3

Tipos de grafos ..................................................................................................

288

7.4

Representacin matricial ..................................................................................

292

7.5

Caminos y circuitos ...........................................................................................

294

7.6

Isomorfismo........................................................................................................

303

7.7

Grafos planos .....................................................................................................

307

7.8

Coloracin de grafos .........................................................................................

312

7.8.1

Nmero cromtico ...............................................................................

313

7.8.2

Caractersticas del nmero cromtico ...............................................

316

7.8.3

Coloracin de grafos planos ...............................................................

318

7.8.4

Polinomio cromtico ............................................................................

321

Aplicaciones de los grafos ................................................................................

325

7.9.1

Reconocimiento de patrones mediante grafos de similaridad ........

325

7.9.2

Determinacin de la ruta ms corta mediante grafos ponderados .

328

7.10 Resumen ............................................................................................................

332

7.11 Problemas ..........................................................................................................

335

7.9

Captulo VIII rboles

350

8.1

Introduccin .......................................................................................................

352

8.2

Propiedades de los rboles ...............................................................................

353

8.3

Tipos de rboles ................................................................................................

354

8.3.1

Clasificacin por nmero de nodos ....................................................

354

8.3.2

Clasificacin por altura .......................................................................

356

8.4

Bosques ..............................................................................................................

357

8.5

rboles con pesos .............................................................................................

358

8.6

rboles generadores .........................................................................................

363

8.6.1

Bsqueda a lo ancho ...........................................................................

363

8.6.2

Bsqueda en profundidad ..................................................................

364

ALFAOMEGA

PRELIMINARES OK.indd ix

12/12/08 4:10:40 AM

CONTENIDO

8.6.3

Obtencin de rboles generadores ....................................................

365

8.6.4

rbol generador mnimo .....................................................................

370

Recorrido de un rbol ........................................................................................

377

8.7.1

Recorridos en rboles etiquetados ....................................................

378

Bsquedas .........................................................................................................

384

8.8.1

rboles de bsqueda binarios ...........................................................

384

Aplicacin de los rboles ..................................................................................

387

8.10 Resumen ............................................................................................................

390

8.11 Problemas ..........................................................................................................

392

8.7
8.8
8.9

Captulo IX Introduccin a los lenguajes formales

400

9.1

Introduccin .......................................................................................................

402

9.2

Gramticas y lenguajes formales .....................................................................

402

9.2.1

Estructuracin de las gramticas ......................................................

402

9.2.2

Clasificacin de las gramticas ..........................................................

405

9.2.3

Representacin de las gramticas .....................................................

407

Autmatas finitos ..............................................................................................

414

9.3.1

Terminologa bsica ............................................................................

415

9.3.2

Autmatas finitos determinsticos (AFD) ..........................................

421

9.3.3

Autmatas finitos no determinsticos (AFN) ....................................

422

9.3.4

Conversin de un AFN a un AFD.......................................................

424

Mquinas de estado finito ................................................................................

427

9.4.1

Equivalencia entre autmatas finitos y mquinas de estado finito

430

9.4.2

Mquinas de Turing ............................................................................

433

Teora de la computabilidad .............................................................................

441

9.5.1

Teora de la complejidad .....................................................................

442

9.6

Aplicacin de los lenguajes formales ..............................................................

445

9.7

Resumen ............................................................................................................

450

9.8

Problemas ..........................................................................................................
Bibliografa .........................................................................................................
Respuestas de problemas seleccionados ........................................................
ndice analtico ..................................................................................................

452
464
465
491

9.3

9.4

9.5

ALFAOMEGA

PRELIMINARES OK.indd x

12/12/08 4:12:54 AM

Contenido de la pgina Web

de apoyo
El material marcado con asterisco (*) slo est disponible para docentes.

Captulo 1.

Sistemas numricos

Diagrama de flujo.
Simulador:
Herramienta interactiva para hacer conversiones y operaciones entre sistemas
numricos.
Hoja de clculo:
Aplicacin para convertir cantidades entre diferentes sistemas numricos.
Software:

Programa para hacer operaciones aritmticas bsicas en diferentes sitemas

numricos.

Respuesta y solucin de problemas seleccionados.

Autoevaluacin.
Lecturas adicionales (41 pgs.):

Suma de dos cantidades en complemento a 2.

Ms ejemplos de operaciones aritmticas en diferentes sistemas numricos.
Sistemas numricos y cdigos binarios.
Sistemas numricos en el Mxico prehispnico.

*Evaluaciones propuestas.
*Presentaciones.
*Respuesta y solucin de ejercicios.

ALFAOMEGA

PRELIMINARES OK.indd xi

12/12/08 4:10:41 AM

xii

CONTENIDO

Captulo 2.

DE LA PGINA WEB DE APOYO

Mtodos de conteo

Diagrama de flujo.
Simulador:

Aplicacin que permite calcular el nmero de combinaciones y/o permutaciones

de n elementos en arreglos de tamao r.

Respuesta y solucin de problemas seleccionados.

Autoevaluacin.
*Evaluaciones propuestas.
*Presentaciones.
*Respuesta y solucin de ejercicios.

Captulo 3.

Conjuntos

Diagrama de flujo.
Simulador:

Herramienta interactiva para hacer operaciones entre conjuntos.

Respuesta y solucin de problemas seleccionados.

Autoevaluacin.
Lectura adicional (30 pgs.):

Teora de conjuntos y filosofa.

*Evaluaciones propuestas.
*Presentaciones.
*Respuesta y solucin de ejercicios.

Captulo 4.

Lgica matemtica

Diagrama de flujo.
Respuesta y solucin de problemas seleccionados.
Autoevaluacin.
Lecturas adicionales (28 pgs.):

ALFAOMEGA

PRELIMINARES OK.indd xii

12/12/08 4:10:41 AM

CONTENIDO

xiii

DE LA PGINA WEB DE APOYO

La obra de Gdel en lgica matemtica y teora de conjuntos.

Sobre la induccin matemtica.

*Evaluaciones propuestas.
*Presentaciones.
*Respuesta y solucin de ejercicios.

Captulo 5.

lgebra booleana

Diagrama de flujo.
Simulador:

Herramienta interactiva para hacer el diagrama lgico de una expresin

booleana.

Respuesta y solucin de problemas seleccionados.

Autoevaluacin.
Lecturas adicionales (72 pgs.):

Aplicacin de lgebra booleana a circuitos de conmutacin.

Ms aplicaciones del lgebra booleana.
lgebra booleana.
Mtodo de reduccin de mapas de Karnaugh.
Compuertas lgicas.

*Evaluaciones propuestas.
*Presentaciones.
*Respuesta y solucin de ejercicios.

Captulo 6. Relaciones
Diagrama de flujo.
Respuesta y solucin de problemas seleccionados.
Autoevaluacin.
Lecturas adicionales (104 pgs.):

Relaciones como listas enlazadas.

Funciones para localizar informacin.
Relaciones y funciones.
ALFAOMEGA

PRELIMINARES OK.indd xiii

12/12/08 4:10:41 AM

xiv

CONTENIDO

DE LA PGINA WEB DE APOYO

Relaciones (1).
Relaciones (2).
Relaciones.
Apuntes de matemtica discreta. Relaciones.
Entre la epistemologa y la lgica. Decisin y algoritmos de ordenacin.

*Evaluaciones propuestas.
*Presentaciones.
*Respuesta y solucin de ejercicios.

Captulo 7.

Grafos

Diagrama de flujo.
Respuesta y solucin de problemas seleccionados.
Autoevaluacin.
Lecturas adicionales (56 pgs.):

Solucin al problema de locura instantnea usando grafos.

Circuitos de Euler y Hamilton.
Coloracin.
Introduccin a la teora de grafos.

*Evaluaciones propuestas.
*Presentaciones.
*Respuesta y solucin de ejercicios.

Captulo 8.

rboles

Diagrama de flujo.
Simulador:

Simulador de rboles binarios.

Respuesta y solucin de problemas seleccionados.

Autoevaluacin.
Lecturas adicionales (65 pgs.):

rboles B.
rboles AVL.

ALFAOMEGA

PRELIMINARES OK.indd xiv

12/12/08 4:10:42 AM

CONTENIDO

DE LA PGINA WEB DE APOYO

xv

Evaluacin de expresiones matemticas por medio de rboles.

Fundamentos de inteligencia artificial.

*Evaluaciones propuestas.
*Presentaciones.
*Respuesta y solucin de ejercicios.

Captulo 9.

Introduccin a los lenguajes formales

Diagrama de flujo.
Respuesta y solucin de problemas seleccionados.
Autoevaluacin.
Lecturas adicionales (313 pgs.):

Manipulacin de cadenas y lenguajes.

Lenguajes formales.
Lenguajes formales. Sistemas informticos.
Lenguajes y autmatas.
Gramticas y lenguajes libres de contexto.
Mquinas de Turing. Lenguajes.
Autmatas de pila y lenguajes independientes del contexto.
Gramticas regulares. Expresiones regulares.
Lenguajes regulares.

*Evaluaciones propuestas.
*Presentaciones.
*Respuesta y solucin de ejercicios.

ALFAOMEGA

PRELIMINARES OK.indd xv

12/12/08 4:10:42 AM