Computational Logic
Cycle
Segundo ciclo
Degree
Mestre
Coordinator
Pedro Manuel Corrêa Calvente Barahona
Vacancies
10 vagas
Fees
3.000 €
Education objectives
The objective of the program is to impart to the students the profound theoretical and practical knowledge required for professional practice in the field, to give them a survey of the individual disciplines of Computational Logic and to develop their ability to work according to scientific methods. In addition, the students are given the opportunity to plan their studies to fit a particular practical application. To acquire practice-oriented knowledge they may choose appropriate combinations of modules. By means of visits abroad and English as the language of instruction, the students are to be prepared for the increasing internationalism of science, commerce and industry.
The focus of instruction lies in the following areas: mathematical logic, logic programming, deduction systems, knowledge representation, artificial intelligence, methods of formal specification and verification, inference techniques, syntax-directed semantics, and the relationship between theoretical computer science and logic.
The further qualification for professional practice and research obtained by the European Master''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''s Program in Computational Logic is determined by the Master''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''s examination. The examination provides a means to determine whether the candidate has a scientific overview of his field, whether he has acquired the technical knowledge and skills required for professional practice and whether he is capable of applying knowledge and scientific methods independently. On successful completion of the examination, both the visiting universities award a master degree. The certificates indicate that the degree was obtained in the European Master''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''s Program in Computational Logic.
Students will be prepared for a future PhD, they will come into contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills.
Degree pre-requisites
Duration: 2 years
Credits: 120 ECTS
Mandatory scientific areas:
| Área científica | Sigla | ECTS | |
| Mandatory | Optional | ||
| Informatics | I | 80 | 36 |
|
Social Sciences and Humanities |
CHS | 4 | - |
| TOTAL | 84 |
36 |
|
Access to other courses
| Access to third cycles |
Structure
| 1.º Semester | ||
| Code | Name | ECTS |
| 11226 | Foundations of Computational Logic | 9.0 |
| 11227 | Logic and Constraint Programming | 9.0 |
| Options | ||
| 11234 | Scientific and Technical Communication | 4.0 |
| 11475 | Scientific and Technical Communication A | 2.0 |
| 1.º Semester - Módulo Avançado I | ||
| Code | Name | ECTS |
| Options | ||
| 11556 | Design of Algorithms for Optimization Problems | 6.0 |
| 11559 | Data Modelling | 6.0 |
| 11562 | Stream Processing | 6.0 |
| 11164 | Constraint Programming | 6.0 |
| 11539 | Knowledge and Reasoning Systems Representation | 6.0 |
| 11564 | Teoria de Jogos Computacional | 6.0 |
| 2.º Semester | ||
| Code | Name | ECTS |
| 11228 | Advanced Logics | 8.0 |
| 11229 | Integrated Logic Systems | 8.0 |
| 2.º Semester - Módulo Avançado II | ||
| Code | Name | ECTS |
| Options | ||
| 11556 | Design of Algorithms for Optimization Problems | 6.0 |
| 11559 | Data Modelling | 6.0 |
| 11562 | Stream Processing | 6.0 |
| 11164 | Constraint Programming | 6.0 |
| 11539 | Knowledge and Reasoning Systems Representation | 6.0 |
| 11564 | Teoria de Jogos Computacional | 6.0 |
| 3.º Semester | ||
| Code | Name | ECTS |
| 11231 | Project | 16.0 |
| 3.º Semester - Módulo Avançado III | ||
| Code | Name | ECTS |
| Options | ||
| 11556 | Design of Algorithms for Optimization Problems | 6.0 |
| 11559 | Data Modelling | 6.0 |
| 11562 | Stream Processing | 6.0 |
| 11164 | Constraint Programming | 6.0 |
| 11539 | Knowledge and Reasoning Systems Representation | 6.0 |
| 11564 | Teoria de Jogos Computacional | 6.0 |
| 3.º Semester - Presentation and Communication Skills | ||
| Code | Name | ECTS |
| Options | ||
| 11234 | Scientific and Technical Communication | 4.0 |
| 11475 | Scientific and Technical Communication A | 2.0 |
| 4.º Semester | ||
| Code | Name | ECTS |
| 11230 | Computational Logic Master Thesis | 30.0 |