2º curso · 1º cuatrimestre
Clases de Lógica (LOG)
Apoyo online en directo para Lógica, con especial atención al programa de Ingeniería Informática de la Escuela Superior de Informática de Ciudad Real (UCLM).
Lógica proposicional y de predicados desde sus perspectivas sintáctica y semántica, con cálculos deductivos, propiedades formales y resolución.
Temario que trabajamos
- Tema 1. Introducción a la lógica
- Tema 2. Lógica de proposiciones: semántica, cálculo axiomático y deducción natural
- Tema 3. Lógica de predicados: semántica, cálculo axiomático y deducción natural
- Tema 4. Principio de resolución y otras lógicas
Cómo se prepara: Trabajo ordenado de formalización, semántica y demostraciones para comprender el razonamiento lógico aplicado a informática.
El programa es orientativo y se adapta a la guía docente vigente y las necesidades de cada alumno.