Lógica Computacional

Ciclo

Segundo ciclo

Grau

Mestre

Coordenador

Pedro Manuel Corrêa Calvente Barahona

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