Contenido. Capítulo I Sistemas numéricos 2. Capítulo II Métodos de conteo 40

Transcripción

1 CONTENIDO v Contenido Contenido de la página Web de apoyo... xi Página Web de apoyo... xvii Prefacio... xix Capítulo I Sistemas numéricos Introducción Sistema decimal Sistemas binario, octal y hexadecimal Sistema binario Sistema octal Sistema hexadecimal Generalización de las conversiones Operaciones básicas Suma Resta Multiplicación División Suma de dos cantidades en complemento a Aplicación de los sistemas numéricos Resumen Problemas Capítulo II Métodos de conteo Introducción Principios fundamentales del conteo Principio fundamental del producto Principio fundamental de la adición... 45

2 vi CONTENIDO 2.3 Permutaciones Combinaciones Aplicaciones en la computación Binomio elevado a la potencia n Triángulo de Pascal Sort de la burbuja (bubble sort) Resumen Problemas Capítulo III Conjuntos Introducción Concepto de conjunto Subconjuntos Diagramas de Venn Operaciones y leyes de conjuntos Unión (A B) Intersección (A B) Ley distributiva Complemento (A ) Ley de Morgan Diferencia (A B) Diferencia simétrica (A B) 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 Resumen Problemas

3 CONTENIDO vii Capítulo IV Lógica matemática Introducción Proposiciones Proposiciones compuestas Proposición condicional ( ) Proposición bicondicional ( ) Tablas de verdad Tautología, contradicción y contingencia Contradicción Contingencia Inferencia lógica Equivalencia lógica Argumentos válidos y no válidos Tipos de argumentos Demostración formal Demostración por el método directo Demostración por contradicción Predicados y sus valores de verdad Inducción matemática Aplicación de la lógica matemática Resumen Problemas Capítulo V Álgebra booleana Introducción Expresiones booleanas Propiedades de las expresiones booleanas Optimización de expresiones booleanas Simplificación de expresiones booleanas mediante teoremas del álgebra de Boole Simplificación de expresiones booleanas usando mapas de Karnaugh

4 viii CONTENIDO 5.5 Compuertas lógicas Aplicaciones del álgebra booleana Resumen Problemas Capítulo VI Relaciones Introducción Elementos de una relación Producto cartesiano Relación binaria Matriz de una relación Grafo de una relación Tipos de relaciones Relación reflexiva Relación irreflexiva Relación simétrica Relación asimétrica Relación antisimétrica Relación transitiva Relaciones de equivalencia, clases de equivalencia y particiones Cerraduras Operaciones entre relaciones Propiedades de las relaciones Aplicaciones de las relaciones Una lista enlazada es una relación Las relaciones en las bases de datos Funciones Composición de funciones Tipos de funciones Funciones invertibles Aplicación de las funciones Resumen Problemas

5 CONTENIDO ix Capítulo VII Grafos Introducción Partes de un grafo Tipos de grafos Representación matricial Caminos y circuitos Isomorfismo Grafos planos Coloración de grafos Número cromático Características del número cromático Coloración de grafos planos Polinomio cromático Aplicaciones de los grafos Reconocimiento de patrones mediante grafos de similaridad Determinación de la ruta más corta mediante grafos ponderados Resumen Problemas Capítulo VIII Árboles Introducción Propiedades de los árboles Tipos de árboles Clasificación por número de nodos Clasificación por altura Bosques Árboles con pesos Árboles generadores Búsqueda a lo ancho Búsqueda en profundidad

6 x CONTENIDO Obtención de árboles generadores Árbol generador mínimo Recorrido de un árbol Recorridos en árboles etiquetados Búsquedas Árboles de búsqueda binarios Aplicación de los árboles Resumen Problemas Capítulo IX Introducción a los lenguajes formales Introducción Gramáticas y lenguajes formales Estructuración de las gramáticas Clasificación de las gramáticas Representación de las gramáticas Autómatas finitos Terminología básica Autómatas finitos determinísticos (AFD) Autómatas finitos no determinísticos (AFN) Conversión de un AFN a un AFD Máquinas de estado finito Equivalencia entre autómatas finitos y máquinas de estado finito Máquinas de Turing Teoría de la computabilidad Teoría de la complejidad Aplicación de los lenguajes formales Resumen Problemas Bibliografía Respuestas de problemas seleccionados Índice analítico

7 Contenido de la página Web de apoyo El material marcado con asterisco (*) sólo está disponible para docentes. Capítulo 1. Sistemas numéricos Simulador: Herramienta interactiva para hacer conversiones y operaciones entre sistemas numéricos. Hoja de cálculo: Aplicación para convertir cantidades entre diferentes sistemas numéricos. Software: Programa para hacer operaciones aritméticas básicas en diferentes sitemas numéricos. Lecturas adicionales (41 págs.): Suma de dos cantidades en complemento a 2. Más ejemplos de operaciones aritméticas en diferentes sistemas numéricos. Sistemas numéricos y códigos binarios. Sistemas numéricos en el México prehispánico.

8 xii CONTENIDO DE LA PÁGINA WEB DE APOYO Capítulo 2. Métodos de conteo Simulador: Aplicación que permite calcular el número de combinaciones y/o permutaciones de n elementos en arreglos de tamaño r. Capítulo 3. Conjuntos Simulador: Herramienta interactiva para hacer operaciones entre conjuntos. Lectura adicional (30 págs.): Teoría de conjuntos y filosofía. Capítulo 4. Lógica matemática Lecturas adicionales (28 págs.):

9 CONTENIDO DE LA PÁGINA WEB DE APOYO xiii La obra de Gödel en lógica matemática y teoría de conjuntos. Sobre la inducción matemática. Capítulo 5. Álgebra booleana Simulador: Herramienta interactiva para hacer el diagrama lógico de una expresión booleana. Lecturas adicionales (72 págs.): Aplicación de álgebra booleana a circuitos de conmutación. Más aplicaciones del álgebra booleana. Álgebra booleana. Método de reducción de mapas de Karnaugh. Compuertas lógicas. Capítulo 6. Relaciones Lecturas adicionales (104 págs.): Relaciones como listas enlazadas. Funciones para localizar información. Relaciones y funciones.

10 xiv CONTENIDO DE LA PÁGINA WEB DE APOYO Relaciones (1). Relaciones (2). Relaciones. Apuntes de matemática discreta. Relaciones. Entre la epistemología y la lógica. Decisión y algoritmos de ordenación. Capítulo 7. Grafos Lecturas adicionales (56 págs.): Solución al problema de locura instantánea usando grafos. Circuitos de Euler y Hamilton. Coloración. Introducción a la teoría de grafos. Capítulo 8. Árboles Simulador: Simulador de árboles binarios. Lecturas adicionales (65 págs.): Árboles B. Árboles AVL.

11 CONTENIDO DE LA PÁGINA WEB DE APOYO xv Evaluación de expresiones matemáticas por medio de árboles. Fundamentos de inteligencia artificial. Capítulo 9. Introducción a los lenguajes formales Lecturas adicionales (313 págs.): Manipulación de cadenas y lenguajes. Lenguajes formales. Lenguajes formales. Sistemas informáticos. Lenguajes y autómatas. Gramáticas y lenguajes libres de contexto. Máquinas de Turing. Lenguajes. Autómatas de pila y lenguajes independientes del contexto. Gramáticas regulares. Expresiones regulares. Lenguajes regulares.