Checking date: 26/06/2021

Course: 2021/2022

Study: Bachelor in Computer Science and Engineering (218)

Coordinating teacher: QUINTANA MONTERO, DAVID

Department assigned to the subject: Department of Computer Science and Engineering

Type: Basic Core
ECTS Credits: 6.0 ECTS


Branch of knowledge: Engineering and Architecture

Requirements (Subjects that are assumed to be known)
There are no course dependencies
Skills and learning outcomes
Description of contents: programme
1- Introduction to formal systems Calculus. Definition Consideration on calculi 2- Representation and syntax in propositional calculus Introduction to propositional calculus Syntax 3- Proof theory in propositional calculus. Kleene¿s algebra Introduction to Kleene's algebra Proof and deduction Proof with assumptions 4- Representation and syntax in predicate logic Introduction to predicate calculus Syntax 5- Proof theory in predicate calculus. Kleene¿s algebra Introduction to Kleene¿s algebra Proof and deduction 6- Semantic theory for propositional and predicate calculi Semantic theory for propositional calculus Semantic theory for predicate calculus (I) 7- Resolution method Prenex normal form Skolem normal form Resolution method 8- Computational logic and applications Horn clause and chaining methods Introduction to Prolog
Learning activities and methodology
* Theory sessions: 1 ECTS. Sessions used to introduce the key concepts. Students will receive class notes and references to pursue independent work. * Exercise sessions: 1 ECTS. Guided work sessions devoted mainly to solve Logic exercises related to the theoretical contents. * Independent practical work: 2,5 ECTS. Independent work to be carried out either individually or in small groups focused on thematic sets of exercises provided by the professors. * Continuous assessment tests: 1 ECTS. There are two midterms that evaluate progress during the term. * Office hours: time outside of class scheduled by professors to meet with students either individually or in groups. * Final exam: 0,5 ECTS. Global evaluation of the knowledge and skills developed over the term.
Assessment System
  • % end-of-term-examination 40
  • % of continuous assessment (assigments, laboratory, practicals...) 60
Calendar of Continuous assessment
Basic Bibliography
  • Cuena, J. Lógica Informática. Alianza Informática. 1996
Additional Bibliography
  • Alfredo Deaño. Lógica Computacional. Alianza. 1978
  • D. van Dalen. Logic and Structure. Springer. 2004
  • M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press. 2004

The course syllabus may change due academic events or other reasons.