CUADRO RESUMEN DE TEMAS POSCOMP

rea de Matemtica # TEMAS

MAT01 lgebra Linear 20
MAT02 Anlise Combinatria 8
MAT03 Clculo Diferencial e Integral 20
MAT04 Geometria Analtica 9
MAT05 Lgica Matemtica 11
MAT06 Matemtica Discreta
8
MAT07 Probabilidade e Estatstica 15
TOTAL 91

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

6 Introduo Programao Linear 5 Princpio de Incluso e Excluso

7 Transformaes Lineares e Matrizes. Enumerao de Parties, Grafos,

6
rvores e Redes
8 Autovalores e Autovetores
7 Enumerao por Recurso
9 Diagonalizao
10 Espaos com Produto Interno. 8 Permutaes com Posies Restritas.
11 Bases Ortonormais
12 Projees Ortogonais
13 Movimentos Rgidos
14 Mtodo dos Mnimos Quadrados
Transformaes em Espaos com
15
Produto Interno
O Teorema da Representao para
16
Funes Lineares.

17 Adjunta de uma Transformao Linear

Operadores Simtricos, Unitrios,

18
Ortogonais e Normais

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

10 Prova Automtica de Teoremas

11 Lgicas no clssicas
MAT06 Matemtica Discreta
1 Iterao, Induo e Recurso
Conjuntos e lgebra de Conjuntos
2 1
como uma Teoria Axiomtica
3 Par Ordenado.
4 Funes
Funes e Formas Booleanas,
5 lgebra Booleana, Minimizao de
Funes Booleanas.
Relaes sobre Conjuntos, Relaes
6 de Equivalncia e Ordem. Reticulados,
Monides, Grupos, Anis
Teoria dos Cdigos, Canal Binrio,
Canal Simtrico, Cdigo de Blocos,
7 Matrizes Geradoras e Verificadoras,
Cdigos de Grupo, Cdigos de
Hamming
Teoria dos Domnios: Ordens Parciais
8 Completas, Continuidade, Ponto Fixo,
Domnios, Espao das Funes.
MAT07 Probabilidade e Estatstica
Eventos.
2 Experimentos Aleatrios.
3 Anlise Exploratria de Dados
4 Descrio Estatstica dos Dados
5 Espaos Amostrais.
Probabilidades em Espaos
6
Amostrais Discretos
Distribuies de Probabilidades de
7 Variveis Aleatrias Unidimensionais e
Bidimensionais.
8 Esperana Matemtica.
Varincia e Coeficientes de
9
Correlao.
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

COM01 Anlise de Algoritmos COM03 Arquitetura e Organizao de Computadores

Organizao de Computadores: Memrias, Unidades
1 Medidas de Complexidade
1 Centrais de Processamento, Entrada e Sada.
Linguagens de Montagem.
2 Anlise Assinttica de Limites de Complexidade
2 Modos de Endereamento, Conjunto de Instrues
3 Tcnicas de Prova de Cotas Inferiores
3 Mecanismos de Interrupo e de Exceo.

4 Notao Big O, Little o, Omega e Theta 4 Barramento, Comunicaes, Interfaces e Perifricos

5 Medidas Empricas de Performance
5 Organizao de Memria. Memria Auxiliar.
O Uso de Relaes de Recorrncia para Anlise de
6
Algoritmos Recursivos 6 Arquiteturas RISC e CISC
7 Anlise de Algoritmos Iterativos e Recursivos.
7 Pipeline.

COM02 Algoritmos e Estrutura de Dados Paralelismo de Baixa Granularidade. Processadores

8
Superescalares e Superpipeline.
1 Metodologia de Desenvolvimento de Algoritmos
9 Multiprocessadores
2 Tipos de Dados Bsicos e Estruturados
3 Comandos de uma Linguagem de Programao 10 Multicomputadores.
4 Recursividade: Conceito e Implementao 11 Arquiteturas Paralelas e no Convencionais.
5 Modularidade e Abstrao
6 Estratgias de Depurao

7 Cadeias e Processamento de Cadeias

Estruturas de Dados Lineares e suas Generalizaes:

8
Listas Ordenadas, Listas Encadeadas, Pilhas e Filas

rvores e suas Generalizaes: rvores Binrias,

9
rvores de Busca e rvores Balanceadas

10 Tabelas Hash.

11 Algoritmos para Pesquisa e Ordenao

12 Algoritmos para Garbage Collection.

Tcnicas de Projeto de Algoritmos: Mtodo da Fora

13 Bruta, Pesquisa Exaustiva, Algoritmo Guloso, Dividir e
Conquistar, Backtracking e Heursticas.
 Linguagens Formais, Autmatos e
COM04 Circuitos Digitais COM06
Computabilidade
1 Gramticas
1 Sistemas de Numerao e Cdigos.
2 Linguagens Regulares

2 Aritmtica Binria 3 Livres-de-Contexto e Sensveis-ao-Contexto

Representao e Manipulao de Circuitos
3
Combinatrios. 4 Tipos de Reconhecedores
Minimizao e Otimizao de Funes
4
Combinatrias.
5 Operaes com Linguagens
Projeto de Circuitos Combinatrios. Anlise e Sntese
5 6 Propriedades das Linguagens
de Componentes Sequenciais e de Memria
Autmatos de Estados Finitos Determinstico e no
6 Projeto de Circuitos Sequenciais. 7
Determinstico
7 Modelo de Mquinas de Estado Finito (FSM). 8 Autmatos de Pilha
8 Circuitos Sequenciais Sncronos e Assncronos.
9 Mquina de Turing
9 Componentes de Armazenamento.
10 Projeto de Sistemas Digitais: Hierrquico e Modular 10 Hierarquia de Chomsky

11 Princpios e Tcnicas de Projeto. 11 Funes Recursivas

12 Conceitos de Controle e de Tempo 12 Tese de Church
13 Famlias Lgicas. 13 Problemas Indecidveis
14 Teorema da Incompletude de Godel
14 Dispositivos Lgicos Programveis (PLD).
Classes de Problemas P, NP, NP Completo e NP-
15
Difcil
16 Mtodos de Reduo de Problemas.
COM05 Linguagens de Programao
COM07 Organizao de Arquivos e Dados
1 Conceitos
1 Organizao
2 Paradigmas de Linguagens de Programao
2 Estrutura e Operao de Arquivos

3 Diretrios: Contedo e Estrutura

3 Semntica Formal

4 Arquivos do Sistema e Sistema de Arquivos Virtuais

4 Teoria dos Tipos: Sistemas de Tipos, Polimorfismo

5 Verificao e Inferncia de Tipos 5 Tcnicas de Pesquisa. Dados e Metadados

6 Representao Digital e Analgica

7 Algoritmos de Codificao e Decodificao

8 Compresso de Dados, udio, Imagem e Vdeo.

 COM10 Teoria dos Grafos
COM08 Sistemas Operacionais 1 Grafos orientados e no-orientados
2 Caminhos. Planaridade
Conceito de Processo. Gerncia de 3 Conectividade.
1
Processos/Processador
4 Colorao.
Comunicao, Concorrncia e Sincronizao de
2
Processos
5 Grafos Infinitos.
6 Algoritmos em grafos.
Gerenciamento de Memria: Memria Virtual,
3 7 Problemas intratveis
Paginao, Segmentao e Swap
4 Gerenciamento de Arquivos
8 Busca em Largura e Profundidade
9 Algoritmos do Menor Caminho
5 Gerenciamento de Dispositivos de Entrada/Sada 10 rvore Geradora
11 Ordenao Topolgica
6 Alocao de Recursos.

COM09 Tcnicas de Programao

1 Desenvolvimento de algoritmos.

2 Tipos de dados bsicos e estruturados

3 Comandos de uma Linguagem de programao.

4 Metodologia de desenvolvimento de programas.

5 Modularidade e abstrao.
 rea de Tecnologia da Computao

TEC01 Banco de Dados TEC03 Computao Grfica

1 Modelo de Dados
2 Modelagem e Projeto de Banco de Dados
Sistemas de Gerenciamento de Bancos de Dados
(SGBD): Arquitetura, Segurana, Integridade,
3
Concorrncia, Recuperao aps Falha,
Gerenciamento de Transaes
Linguagens de Consulta. Bancos de Dados
4 5
Distribudos
5 Minerao de Dados.
Transformaes Geomtricas em Duas e Trs
1 Dimenses: Coordenadas Homogneas e Matrizes de
Transformao.
Transformao entre Sistemas de Coordenadas 2D e
2
Recorte
Transformaes de Projeo Paralela e Perspectiva.
3
Cmera Virtual.
4 Transformao entre Sistemas de Coordenadas 3D
Definio de Objetos e Cenas Tridimensionais:
Modelos Poliedrais e Malhas de Polgonos
6

O Processo de Rendering: Fontes de Luz, Remoo

TEC02 Compiladores 7 de Linhas e Superfcies Ocultas, Modelos de
Tonalizao (Shading).
1 Compiladores e Interpretadores
8 Aplicao de Texturas.
2 Anlise Lxica e Sinttica
O problema do Serrilhado (Aliasing) e Tcnicas de
3 Tabelas de Smbolos 9
Anti-Serrilhado (Antialiasing).
4 Esquemas de Traduo
10 Visualizao.
5 Ambientes de Tempo de Execuo
6 Representao Intermediria
TEC04 Engenharia de Software
7 Anlise Semntica.
1 Processo de Desenvolvimento de Software
8 Gerao de Cdigo
2 Ciclo de Vida de Desenvolvimento de Software.
9 Otimizao de Cdigo
3 Qualidade de Software.
Tcnicas de Planejamento e Gerenciamento de
10 Bibliotecas e Compilao em Separado. 4
Software
5 Gerenciamento de Configurao de Software.

6 Engenharia de Requisitos

7 Mtodos de Anlise e de Projeto de Software.

8 Garantia de Qualidade de Software.

9 Verificao, Validao e Teste.

Manuteno. Documentao. Padres de

10
Desenvolvimento.
11 Engenharia Reversa

12 Reengenharia.

13 Ambientes de Desenvolvimento de Software.

TEC05 Inteligncia Artificial TEC07 Redes de Computadores
1 Linguagens Simblicas. Tipos de Enlace, Cdigos, Modos e Meios de
1
Transmisso
2 Programao em Lgica
3 Resoluo de Problemas como Busca Protocolos e Servios de Comunicao. Terminologia,
2
Topologias, Modelos de Arquitetura e Aplicaes.
4 Estratgias de Busca
5 Busca Cega e Busca Heurstica 3 Especificao de Protocolos. Internet e Intranets.
Hill climbing, best first, simulated annealing e
6 4 Interconexo de Redes
Algoritmo A*.
7 Busca como Maximizao de Funo

8 Grafos And/Or 5 Redes de Banda Larga.

Esquemas para Representao do Conhecimento:
9
Lgicos, em Rede, Estruturados, Procedurais
Sistemas de Produo com Encadeamento para a
10 Frente e Encadeamento para trs. Raciocnio No- 6 Segurana e Autenticao
Monotnico
Formalismos para a Representao de Conhecimento
11
Incerto
12 A Regra de Bayes 7 Avaliao de Desempenho
13 Conjuntos e Lgica Fuzzy

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.

TEC06 Processamento de Imagens

1 Introduo aos Filtros Digitais

2 Mtodos de Espao de Estados

3 Noes de Percepo Visual Humana

4 Amostragem e Quantizao de Imagens
5 Transformadas de Imagens
6 Realce

7 Filtragem e Restaurao.

8 Reconstruo Tomogrfica de Imagens

Codificao. Anlise de Imagens e Noes de Viso
9
Computacional
10 Reconhecimento de Padres