Contenido: p. v a vii.

Glosario: p. 251 a 255.

Índice: p. 256 a 258.

Bibliografía: p. 250.

1. Tablas de verdad.

2. Cuadros semánticos.

3. Deducción natural.

4. Lógica proposicional axiomática.

5. Resolución en lógica proposicional.

6. Introducción a la lógica de predicados.

7. Un enfoque axiomático de la lógica de predicados.

8. Cuadros semánticos en lógica de predicados.

9. Resolución en lógica de predicados.

La esencia de la lógica es una nueva e interesante publicación que proporciona una introducción concisa a la lógica formal. Sin exigir mucho conocimiento matemático previo, este texto completo prepara al lector para el análisis y la aplicación de técnicas lógicas en informática. También se puede utilizar para el estudio de la lógica matemática por derecho propio. Amplia en su cobertura, cada nuevo concepto se introduce suavemente y luego se refuerza con numerosos ejercicios y ejemplos. Este enfoque práctico desarrolla rápidamente las habilidades necesarias para aplicar la lógica en una amplia gama de disciplinas informáticas.

Para estudiantes de licenciatura en informática.

En inglés.