pró-reitoria de recursos humanos programa do

PRÓ-REITORIA DE RECURSOS HUMANOS
PROGRAMA DO CONCURSO PÚBLICO
RH -142 B
Legislação: Resolução nº. 22/98-CEPE (Parágrafo único do artigo 3º)
UNIDADE
Instituto de Ciências Exatas (ICE)
DEPARTAMENTO
Ciência da Computação (DCC)
EDITAL Nº. 002/2010
CLASSES
Titular
Adjunto
Assistente
Auxiliar
PROVA ESCRITA E/OU PRÁTICA (mínimo 10 pontos).
1- Complexidade de Algoritmos: Medidas de Complexidade, Ordens Assintóticas, Análise de Complexidade Pessimista.
2- Métodos de Projeto de Algoritmo: Divisão e Conquista, Programação Dinâmica, Método Guloso, Análise da complexidade dos
métodos.
3- Classes de Problemas: P, NP, NP-Completo.
4- Linguagens Regulares: Autômatos, Expressões Regulares, Gramática Regular, Propriedades das Linguagens Regulares.
5- Linguagens Livres de Contexto: Gramática Livre de Contexto, Formas Normais, Autômato com Pilha, Algoritmos de
Reconhecimento.
6- Linguagens Enumeráveis Recursivamente: Máquina de Turing, Gramática Irrestrita, Hipótese de Church.
7- Computabilidade: Classes de Computabilidade, Correspondência de Post.
8- Funções Recursivas: Cálculo Lambda, Funções Recursivas de Kleene, Definições Recursivas de Bird.
9- Teoria dos Grafos: Conceitos introdutórios, Grafos sem Circuitos, Arvores e Arborescências, Busca em Grafos.
10- Métodos Formais: Lógica Temporal, Álgebra de Processos, Rede de Petri, Análise de Modelos, Automação de Prova de Teorema.
PROVA DIDÁTICA (mínimo 10 pontos)
1- Complexidade de Algoritmos - Ordens Assintóticas
2- Métodos de Projeto de Algoritmo - Análise da complexidade dos métodos.
3- Classes de Problemas
4- Propriedades das Linguagens Regulares
5- Linguagens Livres de Contexto - Algoritmos de Reconhecimento
6- Computabilidade - Classes de Computabilidade
7- Linguagens Enumeráveis Recursivamente - Máquina de Turing
8- Funções Recursivas - Funções Recursivas de Kleene
9- Teoria dos Grafos - Busca em Grafos
10- Métodos Formais - Análise de Modelos
OBSERVAÇÂO(ÕES)
Em 06 / 01/ 2010
PRORH OUT/2008
Chefe de Departamento