Faculdade de Ciências e Tecnologia

Computational Logic

Cycle

Segundo ciclo

Degree

Mestre

Coordinator

Pedro Manuel Corrêa Calvente Barahona

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.

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 Theory of Computational Games 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 Theory of Computational Games 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 Theory of Computational Games 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