Traducido de la primera edición en inglés de Discrete mathematical structures for computer science.

Apéndice: p. 394-410.

Respuestas a los ejercicios impares: p. 411-435.

Índice alfabético: p. 436-441.

En contratapa: Lista de los símbolos más usados.

1. Conceptos fundamentales 2. relaciones y grafos dirigidos 3. Funciones 4. Orden, relaciones y estructuras 5. Árboles y lenguajes 6. Semigrupos y grupos 7. Máquinas de estado finito y lenguajes 8. Grupos y códigos.

En este libro ha identificado un grupo de temas que, son de gran utilidad en la ciencia de computación y pueden explicarse de manera lógica y coherente. Se ofrece una intyroducción a ellos, junto con idicaciones de cómo ahondarlos. Por ejemplo, incluye la smáquinas de estado finito más simples y no las de turing. Moite muchos de lso aspectos de la teoría de grafos, interesantes desde el punto de vista de las matemáticas pero que no juzgan centrales para la computación. Han limitado el tema del álgebra abstracta a una exposición sobre semigrupos y grupos, ofreciendo aplicaciones de ellos a los importantes tópicos de las máquinas de estado finito y los códigos para detectar y corregir errores, respectivamente. Se ha tratado de producir un texto que no sea exclusivamente matemático no totalmente dedicado a la ciencia de la computación, sino una auténtica combinación de ambas disciplinas. Los temas más difíciles se explican con sumo cuidado, y se dan muchos ejemplos y esquemas.

Alumnos de primero o segundo años de carrera.