Prólogo Introducción Agradecimientos

1 Elementos de Teoría de Conjuntos

1.1 Introducción

1.2 Operaciones entre conjuntos

1.3 Álgebra de Números Reales - Álgebra de Conjuntos

1.4 Conjuntos especiales

2 Relaciones y funciones

2.1 Relaciones y Bases de datos

2.2 Representación de relaciones

2.3 Relaciones de equivalencia y relaciones de orden

2.4 Árboles

2.5 Funciones

2.6 Cardinalidad

3 Cálculo de proposiciones

3.1 Dificultades en el lenguaje común y advenimiento del

pensamiento lógico

3.2 Sintaxis

3.3 Semántica

4 Inferencia lógica

4.1 Argumentos

4.2 Reglas de inferencia

4.3 Consistencia de premisas

4.4 Prueba indirecta

5 Cálculo de predicados

5.1 Términos, predicados y cuantificadores

5.2 Cuantificadores en los argumentos

5.3 Forma normal Prenex

5.4 Inducción matemática

6 Álgebra de Boole

6.1 Introducción

6.2 Álgebra de Boole

6.3 Orden parcial de un álgebra de Boole

6.4 Funciones Booleanas y Circuitos Lógicos

6.5 Compuertas lógicas

6.6 Simplificación sistemática

7 Matemáticas y algoritmos

7.1 Algoritmos de Markov

7.2 Lenguajes Post

7.3 Funciones recursivas

7.4 Gramáticas generativas

7.5 Máquinas de Turing

Apéndice