Guia de Cursos

Queres conhecer a oferta de cursos da NOVA, nas áreas das licenciaturas, mestrados e doutoramentos?
No nosso Guia de Cursos encontras informação útil sobre Faculdades, Institutos e Escolas.
Podes ainda aceder a informações complementares necessárias a uma completa integração.

saber mais Guia de Cursos

Faculdade de Ciências e Tecnologia

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