Pesquisa e Pós-Graduação em
Ciência da Computação

Disciplinas Básicas de Área:

• Algoritmos I
• Computabilidade e Lógica

Disciplinas Básicas de Interesse de Outras Áreas

• Arquitetura de Computadores
• Métodos em Computação Inteligente
• Aplicações de Computação Inteligente
• Sistemas Distribuídos

Disciplinas Eletivas por Linha de Pesquisa:

Algoritmos e Complexidade:

• Algoritmos II
• Algoritmos de Aproximação em Grafos
• Algoritmos para Processamento de Cadeias
• Tópicos Avançados em Algoritmos e Complexidade 1
• Tópicos Avançados em Algoritmos e Complexidade 2
• Trabalho Individual em Algoritmos e Complexidade

Lógica e Sistemas Dedutivos:

• Lógica Matemática
• Álgebra e Semântica de Processos Concorrentes
• Lógica e Lingua Natural
• Teoria da Prova
• Teoria dos Modelos
• Teoria dos Domínios
• Teoria das Categorias
• Tópicos Avançados em Lógica e Sistemas Dedutivos 1
• Tópicos Avançados em Lógica e Sistemas Dedutivos 2
• Trabalho Individual em Lógica e Sistemas Dedutivos