Lógica Computacional
Ciclo
Segundo ciclo
Grau
Mestre
Coordenador
Pedro Manuel Corrêa Calvente Barahona
Número de vagas
10 vagas
Propinas
3.000 €
Objectivos educativos
http://ssdi.di.fct.unl.pt/masters/mcl/
Requisitos para obtenção do grau ou diploma
Duração: 2 anos
Créditos totais: 120 ECTS
Áreas científicas obrigatórias:
| Área científica | Sigla | Créditos (ECTS) | |
| Obrigatórios | Optativos | ||
| Informática | I | 80 | 36 |
| Ciências Humanas e Sociais | CHS | 4 | - |
| TOTAL | 84 |
36 |
|
Acesso a outros cursos
Acesso ao 3.º ciclo
Regras de avaliação
A avaliação de todas as UC é contínua para todas as componentes que a integrarem, tendo obrigatoriamente de estar concluída até ao último dia do período de aulas do semestre letivo.
A avaliação contínua de uma UC tem de incluir um mínimo de três elementos no conjunto das componentes de avaliação, em datas adequadamente espaçadas ao longo do período de aulas.
Todas as UC com componente de avaliação teórico-prática têm de prever, supletivamente, uma forma de avaliação desta componente por exame, a realizar após o período de aulas (Exame de Recurso).
Todos os requisitos e condições respeitantes à avaliação das UC, nomeadamente os pesos e classificações mínimas, caso existam, de cada componente, bem como as condições de Frequência, são definidas a priori e, obrigatoriamente, publicados na Ficha da Disciplina.
Para cada UC são admitidas combinações de três componentes de avaliação: (i) Avaliação teórico-prática; (ii) Avaliação laboratorial ou de projeto; (iii) Avaliação sumativa.
A disciplina de Dissertação compreende uma discussão pública com Júri, de acordo com lei.
Ver Regulamento de Avaliação de Conhecimentos (Licenciaturas, Mestrados Integrados e Mestrados)
Estrutura
| 1.º Semestre | ||
| Código | Nome | Créditos |
| 11226 | Fundamentos da Lógica Computacional | 9.0 |
| 11227 | Programação em Lógica com Restrições | 9.0 |
| Opções | ||
| 11234 | Scientific and Technical Communication | 4.0 |
| 11475 | Scientific and Technical Communication A | 2.0 |
| 1.º Semestre - Módulo Avançado I | ||
| Código | Nome | Créditos |
| Opções | ||
| 11556 | Desenho de Algoritmos para Problemas de Otimização | 6.0 |
| 11559 | Modelação de Dados | 6.0 |
| 11562 | Processamento de Streams | 6.0 |
| 11164 | Programação com Restrições | 6.0 |
| 11539 | Representação de Conhecimento e Sistemas de Raciocínio | 6.0 |
| 11564 | Teoria de Jogos Computacional | 6.0 |
| 2.º Semestre | ||
| Código | Nome | Créditos |
| 11228 | Lógicas Avançadas | 8.0 |
| 11229 | Sistemas Integrados Baseados em Lógica | 8.0 |
| 2.º Semestre - Módulo Avançado II | ||
| Código | Nome | Créditos |
| Opções | ||
| 11556 | Desenho de Algoritmos para Problemas de Otimização | 6.0 |
| 11559 | Modelação de Dados | 6.0 |
| 11562 | Processamento de Streams | 6.0 |
| 11164 | Programação com Restrições | 6.0 |
| 11539 | Representação de Conhecimento e Sistemas de Raciocínio | 6.0 |
| 11564 | Teoria de Jogos Computacional | 6.0 |
| 3.º Semestre | ||
| Código | Nome | Créditos |
| 11231 | Projeto | 16.0 |
| 3.º Semestre - Módulo Avançado III | ||
| Código | Nome | Créditos |
| Opções | ||
| 11556 | Desenho de Algoritmos para Problemas de Otimização | 6.0 |
| 11559 | Modelação de Dados | 6.0 |
| 11562 | Processamento de Streams | 6.0 |
| 11164 | Programação com Restrições | 6.0 |
| 11539 | Representação de Conhecimento e Sistemas de Raciocínio | 6.0 |
| 11564 | Teoria de Jogos Computacional | 6.0 |
| 3.º Semestre - Presentation and Communication Skills | ||
| Código | Nome | Créditos |
| Opções | ||
| 11234 | Scientific and Technical Communication | 4.0 |
| 11475 | Scientific and Technical Communication A | 2.0 |
| 4.º Semestre | ||
| Código | Nome | Créditos |
| 11230 | Dissertação em Lógica Computacional | 30.0 |