La asignatura carece de dependencias

1- Introducción a los sistemas formales Concepto de cálculo Consideraciones sobre cálculos 2- Representación y sintaxis en Cálculo Proposicional Introducción al cálculo proposicional Sintaxis 3- Teoría de la Demostración en Cálculo Proposicional. Sistema de Kleene Introducción al sistema de Kleene en C Prop. Demostración y deducción Cálculo con supuestos 4- Representación y sintaxis en Cálculo de Predicados Introducción al cálculo de predicados Sintaxis 5- Teoría de la Demostración en Cálculo de Predicados. Sistema de Kleene Introducción al sistema de Kleene en C Pred. Demostración y deducción 6- Teoría Semántica del Cálculo Proposicional y de Predicados Teoría semántica en C. Prop. Teoría semántica en C. Pred. 7- Método de Resolución Forma Normal Prenex Foma Normal de Skolem Resolución 8- Lógica Computacional y aplicaciones Cláusulas de Horn y formas de encadenamiento Introducción a Prolog

* Clases magistrales: 1 ECTS. En ellas se presentarán los conocimientos que deben adquirir los alumnos. Estos recibirán las notas de clase y tendrán textos básicos de referencia para facilitar el seguimiento de las clases y el desarrollo del trabajo posterior * Clases prácticas: 1 ECTS. Sesiones de trabajo guiado que se dedicarán fundamentalmente a abordar ejercicios de Lógica, relacionados con los temas teóricos. * Trabajos prácticos: 2,5 ECTS. Trabajo a desarrollar individualmente o en grupo sin la presencia de profesor sobre cuadernillos de ejercicios temáticos centrados en los distintos temas cubiertos por la asignatura y que, como norma general, se presentan y empiezan a abordar durante las clases prácticas. * Pruebas de evaluación continua: 1 ECTS. Dos pruebas que valorarán de forma de forma parcial los conocimientos, destrezas y capacidades adquiridas a lo largo de, aproximadamente, las dos mitades del cuatrimestre. * Tutorías: Asistencia individualizada (tutorías individuales) o en grupo (tutorías colectivas) a los estudiantes por parte del profesor. * Examen final: 0,5 ECTS. En este se valorarán de forma global los conocimientos, destrezas y capacidades adquiridas a lo largo del curso.