The course will consist of lectures, where the theory will be introduced, and practical sessions. The aim of the lectures is providing the student with the theoretical background on Logic, its implications, and its usefulness in the context of Computer Science. (PO a)
The practical sessions will consist of Computational Logic exercises related to the concepts presented in the lectures. They will cover modeling and representation aspects as well as practical use of deduction and proof methods. Additionally, there will be some sessions devoted to the introduction of logic programming (PROLOG) and automatic deduction. (PO a, c, d, f, g)
The exercises will be published in aula global and will be solved in class. There will also be activities that will require students to work at home and submit the results in groups. (PO a, c, d, g, k)
During the semester, there will be two assessments focused on the theoretical contents of the course.