Course: 2023/2024

Logic

(15970)

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

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.