MATEMÁTICA DISCRETA Y LÓGICA - Tecno-Libro

Ver Índice

1. Principios fundamentales de la enumeración.
2. Variaciones.
3. Permutaciones
4. Combinaciones
5. Grafos: conceptos básicos.
6. Conectividad y exploración de grafos
7. Árboles
8. Grafos planos y coloración
9. El lenguaje formal de la lógica proposicional
10. Teoría semántica proposicional
11. Deducción natural en lógica de proposiciones.
12. El lenguaje formal de la lógica de predicados
13. Teoría semántica predicativa
14. Deducción natural en lógica de predicados
Anexo. Enumeración secuencial de permutaciones ordinarias k-próximas

Los contenidos de este libro de texto incluyen los temas fundamentales de un curso de Matemática Discreta y Lógica que figuran en los programas habituales en los estudios de Computación y de Ingeniería de Telecomunicaciones.

Estos contenidos pueden agruparse en tres partes:
? Combinatoria Elemental (capítulos 1-4),
? Teoría Elemental de Grafos (capítulos 5-8) y
? Lógica Matemática de Primer Orden (capítulos 9-14).

Con el fin de completar y afianzar los conocimientos del lector, cada capítulo va acompañado de una
extensa colección ejemplos resueltos al largo del texto y de ejercicios propuestos de diferentes niveles
de dificultad cuya solución final se facilita en la mayoría de los casos con el fin de que el lector pueda
comprobar el grado de avance en la compresión de la materia.