Fernández Cuesta, José Alejandro2024-03-012024-03-012024https://hdl.handle.net/10115/30748Presentaciones 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.spaAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/LógicaHistoria de la lógicaLógica de orden cero (enunciados)Lógica de primer orden (predicados)Learning Objectinfo:eu-repo/semantics/openAccess