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
The essence of the European Master''''''''''''''''s Program in Computational Logic is an integrated study program based on
- common and compulsory basic modules comprising 42 ECTS credit points, which are taught at each partner institution,
- selected advanced modules comprising 36 ECTS credit points, which are based on the specific strengths in research of the partner institutions and thus vary from partner to partner,
- a project of 12 ECTS credit points, and
- a research master thesis of 30 ECTS credit points.
Courses are distributed over three semesters. They amount to a total of 90 ECTS credit points. In addition, 30 ECTS credit points are assigned to the master''''''''''''''''s thesis and its defense in the fourth semester. This results in a 2-year program of 120 ECTS credit points.
| LECTURES | CREDIT POINTS | |||
|---|---|---|---|---|
| SEMESTER | 1 | 2 | 3 | 4 |
| Basic modules | ||||
| Foundations | 12 | - | - | - |
| Logic and Constraint Programming | 12 | - | - | - |
| Advanced Logics | - | 9 | - | - |
| Integrated Logic Systems | - | 9 | - | - |
| Selected Advanced Modules | 6 | 12 | 18 | - |
| Project | - | - | 12 | - |
| MSc thesis | - | - | - | 30 |
| Sum | 30 | 30 | 30 | 30 |
| Maximum number of credit points | 120 | |||
The basic modules are offered in the first year by all partner institutions with the common aim of bringing the students to an equivalent level of skills and knowledge. Especially designed bridging courses integrated into the basic modules offered in the first semester shall help 3rd country students in their adaptation to a Master''''''''''''''''s Course of European educational level.
The student''''''''''''''''s specialization (advanced modules, project and master''''''''''''''''s thesis) during the second year can also be pursued with all partner institutions, but varies from place to place according to local strengths in teaching and research.
Access to other courses
| Access to third cycles |
Structure
| 1.º Semester | ||
| Code | Name | ECTS |
| Options | ||
| 8283 | Conceitos e Tecnologias XML | 6.0 |
| 3336 | Representação de Conhecimento e Raciocínio | 6.0 |
| 1.º Semester - Fund. Progr. em Lógica com Restrições | ||
| Code | Name | ECTS |
| 9800 | Bases da Programação em Lógica com Restrições | 6.0 |
| 9801 | Engenharia da Programação em Lógica com Restrições | 6.0 |
O aluno deverá obter 12.0 créditos nesta opção. |
||
| 1.º Semester - Fundamentos de Lógica Computacional | ||
| Code | Name | ECTS |
| 8282 | Ciência da Lógica Computacional | 6.0 |
| 8415 | Computabilidade e Complexidade | 6.0 |
O aluno deverá obter 12.0 créditos nesta opção. |
||
| 2.º Semester | ||
| Code | Name | ECTS |
| 4062 | Lógicas Avançadas | 9.0 |
| 3968 | Sistemas Integrados Baseados em Lógica | 9.0 |
| 2.º Semester - Opção I | ||
| Code | Name | ECTS |
| Options | ||
| 9916 | Complementos de Restrições | 6.0 |
| 8283 | Conceitos e Tecnologias XML | 6.0 |
| 4066 | Lógica e Computabilidade | 12.0 |
| 8289 | Pesquisa e Optimização | 6.0 |
| 3336 | Representação de Conhecimento e Raciocínio | 6.0 |
| 8292 | Sistemas Multi-Agente | 6.0 |
| 8293 | Web Semântica | 6.0 |
| 3.º Semester | ||
| Code | Name | ECTS |
| 3.º Semester - Opção II | ||
| Code | Name | ECTS |
| Options | ||
| 10337 | Projecto | 16.0 |
| 3602 | Projecto I | 12.0 |
| 4068 | Projecto II | 24.0 |
| 4.º Semester | ||
| Code | Name | ECTS |
| 8046 | Dissertação de Mestrado | 30.0 |