Professional Documents
Culture Documents
rea de Fundamentos da
Computao # TEMAS
COM01 Anlise de Algoritmos 7
COM02 Algoritmos e Estrutura de Dados 13
Arquitetura e Organizao de
COM03 11
Computadores
COM04 Circuitos Digitais 14
COM05 Linguagens de Programao 5
Linguagens Formais, Autmatos e
COM06 16
Computabilidade
COM07 Organizao de Arquivos e Dados 8
COM08 Sistemas Operacionais 6
COM09 Tcnicas de Programao 5
COM10 Teoria dos Grafos 11
TOTAL 96
rea de Tecnologia da
# TEMAS
Computao
TEC01 Banco de Dados 5
TEC02 Compiladores 10
TEC03 Computao Grfica 10
TEC04 Engenharia de Software 13
TEC05 Inteligncia Artificial 20
TEC06 Processamento de Imagens 10
TEC07 Redes de Computadores 7
TEC08 Sistemas Distribudos 4
TOTAL 79
CONTEDOS PROGRAMTICOS POR REA DE CONHECIMENTO POSCOMP
rea de Matemtica
MAT01 lgebra Linear
MAT02 Anlise Combinatria
Sistemas de Equaes Lineares:
1 mtodo de eliminao de Gauss para
sistemas lineares. 1 Distribuio
2 Espaos vetoriais
2 Permutaes.
3 Subespaos
3 Combinaes
4 Bases
Funes Geradoras Ordinrias e
5 Somas Diretas 4
Exponenciais
19 O Teorema Espectral
20 Formas Cannicas
MAT03 Clculo Diferencial e Integral MAT04 Geometria Analtica
1 Limites de Funes e de Sequncias
Funes Reais de uma Varivel: 1 Matrizes
2
Continuidade e Diferenciabilidade.
3 Mximos e Mnimos.
2 Sistemas de Equaes Lineares
Frmula de Taylor e Aproximao de
4 3 Vetores
Funes
Mtodo de Newton para o Clculo de
5 4 Produtos: escalar, vetorial e misto
Razes e de Mximos e Mnimos.
Integrao de Funes Reais de uma 5 lgebra Vetorial
6
Varivel. 6 Reta no plano e no espao.
7 Mtodos de Integrao.
7 Planos.
8 Integrao Aproximada.
Posies Relativas, Intersees,
8
Regras dos Trapzios, de Simpson e Distncias e ngulos. Crculo e Esfera
9
Generalizadas.
Coordenadas Polares, Cilndricas e
Funes de Vrias Variveis: 9
10 Esfricas.
Continuidade e Diferenciabilidade.
11 Gradiente.
MAT05 Lgica Matemtica
12 Mximos e Mnimos.
13 Multiplicadores de Lagrange 1 Lgica Proposicional e de Predicados
14 Transformaes. Linguagem Proposicional e de
15 Matrizes Jacobianas
2
Primeira Ordem
16 Teorema da Funo Inversa. 3 Sistemas Dedutivos.
17 Diferenciao Implcita Tabelas Verdade e Estruturas de
4
Integrao de Funes de Vrias Primeira Ordem
18 5 Relaes de Consequncia
Variveis
Mudanas de Coordenadas em 6 Corretude. Completude.
19
Integrais. 7 Compacidade
20 Integral de Linha.
8 Lowemhein-Skolem
9 Decidibilidade
11 Lgicas no clssicas
MAT06 Matemtica Discreta
MAT07 Probabilidade e Estatstica
1 Iterao, Induo e Recurso
Conjuntos e lgebra de Conjuntos
2 1 Eventos.
como uma Teoria Axiomtica
3 Par Ordenado.
2 Experimentos Aleatrios.
4 Funes
3 Anlise Exploratria de Dados
Funes e Formas Booleanas,
5 lgebra Booleana, Minimizao de
Funes Booleanas. 4 Descrio Estatstica dos Dados
Relaes sobre Conjuntos, Relaes
6 de Equivalncia e Ordem. Reticulados, 5 Espaos Amostrais.
Monides, Grupos, Anis Probabilidades em Espaos
6
Amostrais Discretos
Teoria dos Cdigos, Canal Binrio,
Distribuies de Probabilidades de
Canal Simtrico, Cdigo de Blocos,
7 Matrizes Geradoras e Verificadoras,
7 Variveis Aleatrias Unidimensionais e
Cdigos de Grupo, Cdigos de Bidimensionais.
Hamming 8 Esperana Matemtica.
Varincia e Coeficientes de
Teoria dos Domnios: Ordens Parciais 9
Correlao.
8 Completas, Continuidade, Ponto Fixo,
Domnios, Espao das Funes. 10 Aproximao Normal.
11 Estimao Pontual e por Intervalo.
12 Teste de Hipteses para Mdias.
13 Testes do Qui-Quadrado.
14 Testes de Comparaes de Mdias
15 Regresso e Correlao.
rea de Fundamentos da Computao
10 Tabelas Hash.
1 Desenvolvimento de algoritmos.
6 Engenharia de Requisitos
12 Reengenharia.
14 Aprendizado de Mquina
15 Aprendizado Indutivo. TEC08 Sistemas Distribudos
rvores de Deciso, Redes Neurais e Algoritmos
16 Problemas Bsicos em Computao Distribuda:
Genticos.
1 Coordenao e Sincronizao de Processos,
17 Sistemas Especialistas Excluso Mtua, Difuso de Mensagens
Compartilhamento de Informao: Controle de
2
Concorrncia, Transaes Distribudas.
18 Processamento de Linguagem Natural
Comunicao entre Processos. Tolerncia a
3
19 Agentes Inteligentes. Falhas.
Sistemas Operacionais Distribudos: Sistemas de
20 Robtica
4 Arquivos, Servidores de Nomes, Memria
Compartilhada, Segurana.
7 Filtragem e Restaurao.