Disciplinas Básicas do PPgSC

•  [Básica para todas as linhas] DIM0806: Estrutura de Dados e Algoritmos

•  [Algoritmos Experimentais] DIM0811: Metaheurísticas; DIM0816: Programação Linear;

DIM0860: Algoritmos e Estruturas de Dados em Grafos.

•  [Engenharia de Software] DIM0804: Engenharia de Software; DIM0802: Arquitetura de

Software; DIM0819: Projeto de Interfaces; DIM0887: Testes de Software; PPGSC0090:
Engenharia de Requisitos; PPGSC0092: Métodos Experimentais em Engenharia de Software.

•  [Fundamentos da Computação] DIM0809: Lógica; DIM0810: Lógicas Não-Clássicas;

DIM0851: Teoria da Computação; PPGSC0109: Lógica Algébrica; PPGSC0093: Lógica Difusa.

•  [Linguagens de Programação e Métodos Formais] DIM0805: Especificações Formais;

DIM0889: Semântica de Linguagens de Programação; DIM0825: Verificação Formal de
Sistemas Finitos; DIM0860: Algoritmos e Estruturas de Dados Em Grafos, DIM0804: Engenharia
de Software; DIM0809: Lógica e DIM0851: Teoria da Computação.

•  [Processamento Gráfico e Inteligência Computacional] DIM0871: Inteligência Artificial;

DIM0883: Computação Gráfica; DIM0888: Processamento de Imagens; DIM0873: Sistemas
Multiagentes.

•  [Sistemas Integrados e Distribuídos] DIM0885: Projetos de Sistemas em Chip; DIM0876:

Sistemas Distribuídos; DIM0866: Sistemas Embutidos; DIM0865: Programação Distribuída;
DIM0822: Redes de Computadores.