Disciplinas Bsicas do PPgSC

[Bsica para todas as linhas] DIM0806: Estrutura de Dados e Algoritmos

[Algoritmos Experimentais] DIM0811: Metaheursticas; DIM0816: Programao 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: Mtodos Experimentais em Engenharia de Software.

[Fundamentos da Computao] DIM0809: Lgica; DIM0810: Lgicas No-Clssicas;

DIM0851: Teoria da Computao; PPGSC0109: Lgica Algbrica; PPGSC0093: Lgica Difusa.

[Linguagens de Programao e Mtodos Formais] DIM0805: Especificaes Formais;

DIM0889: Semntica de Linguagens de Programao; DIM0825: Verificao Formal de
Sistemas Finitos; DIM0860: Algoritmos e Estruturas de Dados Em Grafos, DIM0804: Engenharia
de Software; DIM0809: Lgica e DIM0851: Teoria da Computao.

[Processamento Grfico e Inteligncia Computacional] DIM0871: Inteligncia Artificial;

DIM0883: Computao Grfica; DIM0888: Processamento de Imagens; DIM0873: Sistemas
Multiagentes.

[Sistemas Integrados e Distribudos] DIM0885: Projetos de Sistemas em Chip; DIM0876:

Sistemas Distribudos; DIM0866: Sistemas Embutidos; DIM0865: Programao Distribuda;
DIM0822: Redes de Computadores.