COMPETENCIAS GENERALES Y TRANSVERSALES: CGB3: Capacidad para comprender y dominar los conceptos básicos de la lógica, algorítmica y su aplicación para la resolución de problemas propios de la ingeniería. COMPETENCIAS ESPECÍFICAS DE LA MATERIA: - Cognitivas 1. Conocer la lógica de primer orden, realizar demostraciones y deducciones, comprender los fundamentos de las aplicaciones a la computación y la utilización de sistemas automáticos de deducción - Procedimental/Instrumental 2. Los estudiantes contrastarán los distintos métodos de resolución, así como sus ventajas y desventajas 3. Los estudiantes deberan aplicar las técnicas adecuadas para cada problema propuesto - Actitudinal 4. Los estudiantes harán los trabajos en equipo 5. Los estudiantes usarán herramientas de lógica computacional 6. Los estudiantes harán un examen final escrito

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

La asignatura se impartirá mediante lecciones magistrales dedicadas a la teoría, y sesiones de trabajo guiado en las clases prácticas. Las clases magistrales estarán enfocadas para que el alumno adquiera conocimientos teóricos sobre Lógica y las implicaciones y utilidad de la misma en el contexto de las Ciencias de la Computación. Las prácticas consistirán en ejercicios de Lógica, relacionados con los temas teóricos. Cubrirán aspectos de modelado y representación mediante lógica, así como aplicación de los métodos de deducción y resolución. Igualmente se dedicarán algunas sesiones a la familiarización con herramientas informáticas de Programación Lógica (PROLOG) y deducción automática. Los ejercicios se publicarán en el aula global y se trabajarán en tiempo de clase. También se propondrán actividades que requerirán dedicación del alumno fuera de clase, que se entregarán por grupos y estarán ligados a las pruebas de evaluación. A lo largo del cuatrimestre se realizarán dos pruebas de evaluación de los contenidos de la asignatura. Los 6 créditos ECTS de esta asignatura se distribuyen de la forma que figura en el Cronograma.