Área Científica |
Ramo |
Código |
Sigla |
Nome |
Créditos |
Obrigatória |
Informática |
|
CC5014 |
NA |
Análise de Redes |
6 |
|
Informática |
|
CC5010 |
CD |
Computação Distribuída |
6 |
|
Informática |
|
CC5011 |
QC |
Computação Quântica |
6 |
|
Informática |
|
CC5012 |
CIS |
Criptografia e Segurança de Informação |
6 |
|
Informática |
|
CC5015 |
KDD |
Descoberta de Conhecimento em Base de Dados |
6 |
|
Informática |
|
CC5021 |
GSE |
Engenharia de Software Verde |
6 |
|
Informática |
|
CC5009 |
AIE |
Extração de Informação Avançada |
6 |
|
Informática |
|
CC596 |
FAML |
Fundamentos e Aplicações de Aprendizagem Automática |
6 |
|
Informática |
|
CC598 |
AAI |
Inteligência Artificial Avançada |
6 |
|
Informática |
|
CC597 |
PL |
Lógica de Programas |
6 |
|
Informática |
|
CC5013 |
MCMSD |
Métodos Algébricos e Coalgébricos em Desenvolvimento de Software |
6 |
|
Informática |
|
CC5017 |
CC5017 |
Proposta de tese |
30 |
Sim |
Informática |
|
CC5005 |
IR |
Robótica Inteligente |
6 |
|
Informática |
|
CC5016 |
CC5016 |
Seminário |
12 |
Sim |
Informática |
|
CC594 |
ABI |
Sistemas Adaptativos para a Inteligência do Negócio |
6 |
|
Informática |
|
CC5019 |
CC5019 |
Sistemas Ciberfísicos e Internet das Coisas |
6 |
|
Informática |
|
CC5022 |
SdCI |
Sistemas de Computação Interativos |
6 |
|
Informática |
|
CC5007 |
SSP |
Sistemas de Sucesso em Produção |
6 |
|
Informática |
|
CC593 |
CC593 |
Tecnologias e Ferramentas de Verificação de Software |
6 |
|
Informática |
|
CC701 |
CC701 |
Tese |
180 |
Sim |
Informática |
|
CC595 |
ST |
Teste de Software |
6 |
|
Informática |
|
CC5008 |
CV |
Visão Computacional |
6 |
|