
Lógica Computacional
Cycle
Segundo ciclo
Degree
Mestre
ECTS Coordinator
Luís Manuel Sancho Moniz Pereira
Coordinator
Luís Manuel Sancho Moniz Pereira
Schedule
http://ssdi.di.fct.unl.pt/masters/mcl/current/2007-2008/winter/timetable.html
Structure
| 1.º Semester | ||
| Code | Name | ECTS |
| 4060 | Fundamentos de Lógica Computacional | 12.0 |
| 4061 | Fundamentos de Programação em Lógica com Restrições | 12.0 |
| 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 1 | ||
| Code | Name | ECTS |
| Options | ||
| 4064 | Conhecimento, Raciocínio e Agentes | 12.0 |
| 4066 | Lógica e Computabilidade | 12.0 |
| 4065 | Processamento de Restrições | 12.0 |
| 4067 | Web Semântica | 12.0 |
O aluno deverá obter 24.0 créditos nesta opção. |
||
| 3.º Semester | ||
| Code | Name | ECTS |
| 3.º Semester - Opção 2 | ||
| Code | Name | ECTS |
| Options | ||
| 4064 | Conhecimento, Raciocínio e Agentes | 12.0 |
| 4066 | Lógica e Computabilidade | 12.0 |
| 4065 | Processamento de Restrições | 12.0 |
| 3602 | Projecto I | 12.0 |
| 4068 | Projecto II | 24.0 |
| 4067 | Web Semântica | 12.0 |
O aluno deverá obter 24.0 créditos nesta opção. |
||
| 4.º Semester | ||
| Code | Name | ECTS |
| 8046 | Dissertação de Mestrado | 30.0 |