Lógica

Abstract

Presentaciones esquemáticas útiles para la impartición de las asignaturas de lógica de 3 ects divididas en tres bloques temáticos: introducción histórica, lógica de orden cero y lógica de primer orden. Cada uno de los dos temas relativos a los lenguajes formales consta de sintaxis, semántica y cálculos.