Computational Logic
Cycle
Segundo ciclo
Degree
Mestre
ECTS Coordinator
Pedro Manuel Corrêa Calvente Barahona
Coordinator
Pedro Manuel Corrêa Calvente Barahona
Vacancies
25 vagas.
Fees
3.000 €.
Education objectives
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
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 | ||
| 3602 | Projecto I | 12.0 |
| 4068 | Projecto II | 24.0 |
| 4.º Semester | ||
| Code | Name | ECTS |
| 8046 | Dissertação de Mestrado | 30.0 |