Lógica Computacional

Segundo ciclo

Mestre

Pedro Manuel Corrêa Calvente Barahona

10 vagas

3.000 €

http://ssdi.di.fct.unl.pt/masters/mcl/

Duração : 2 anos
Créditos totais : 90 ECTS
Áreas científicas obrigatórias

Área	Créditos (ECTS)
Fundamentos de Lógica Computacional	12
Fundamentos de Programação em Lógica com Restrições	12
Lógicas Avançadas	9
Sistemas Integrados Baseados em Lógica

Dissertação
Duração : 1 ano
Créditos totais : 30 ECTS
Áreas científicas obrigatórias

Área	Créditos (ECTS)
Área Optativa	30

Acesso ao 3.º ciclo

1.º Semestre
Código	Nome	Créditos
Opções
8283	Conceitos e Tecnologias XML	6.0
3336	Representação de Conhecimento e Raciocínio	6.0

1.º Semestre - Fund. Progr. em Lógica com Restrições
Código	Nome	Créditos
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.º Semestre - Fundamentos de Lógica Computacional
Código	Nome	Créditos
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.º Semestre
Código	Nome	Créditos
4062	Lógicas Avançadas	9.0
3968	Sistemas Integrados Baseados em Lógica	9.0

2.º Semestre - Opção I
Código	Nome	Créditos
Opções
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.º Semestre
Código	Nome	Créditos