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. (PO a)
Las prácticas consistirán en ejercicios de Lógica Computacional, 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. (PO a, c, d, f, g)
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. (PO a, c, d, g, k)
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.