Descripción:Se trata de un curso híbrido, cuyo contenido fundamental es de matemáticas, aunque muchas de sus aplicaciones pertenecen a la computación. En él se estudian las máquinas de estado finito, estructuras matemáticas de conjuntos y matrices y operaciones, cálculo de predicados, relaciones de recurrencia, funciones, crecimiento de funciones, árboles de expansión mínima y teoría de gráficas. Además, se incluyen ejercicios de codificación en cada capítulo,Descripción:Se trata de un curso híbrido, cuyo contenido fundamental es de matemáticas, aunque muchas de sus aplicaciones pertenecen a la computación. En él se estudian las máquinas de estado finito, estructuras matemáticas de conjuntos y matrices y operaciones, cálculo de predicados, relaciones de recurrencia, funciones, crecimiento de funciones, árboles de expansión mínima y teoría de gráficas. Además, se incluyen ejercicios de codificación en cada capítulo, experimentos en matemáticas discretas, material sobre la lógica y métodos de demostración, permutaciones y combinaciones.Contenidos:Conceptos fundamentales. Lógica. Conteo. Relaciones y digrafos. Funciones. Temas de la teoría de gráficas. Relaciones y estructuras de orden. Árboles. Semigrupos y grupos. Lenguajes y máquinas de estado finito. Grupos y codificación. Apéndices: A. Algoritmos y seudocódigo. B. Experimentos en matemáticas discretas. Respuestas a los ejercicios impares. Índice.Conceptos fundamentales. Lógica. Conteo. Relaciones y digrafos. Funciones. Temas de la teoría de gráficas. Relaciones y estructuras de orden. Árboles. Semigrupos y grupos. Lenguajes y máquinas de estado finito. Grupos y codificación. Apéndices: A. Algoritmos y seudocódigo. B. Experimentos en matemáticas discretas. Respuestas a los ejercicios impares. Índice.® Prentice Hall 1997