ANEXO II PROGRAMA DA PROVA OBJETIVA (CONTEDOS PROGRAMTICOS POR REA DE

CONHECIMENTO)
MATEMTICA
lgebra Linear
Sistemas de Equaes Lineares: mtodo de eliminao de Gauss para sistemas lineares. Espaos vetoriais.
Subespaos. Bases. Somas Diretas. Introduo Programao Linear. Transformaes Lineares e Matrizes.
Autovalores e Autovetores. Diagonalizao. Espaos com Produto Interno. Bases Ortonormais. Projees Ortogonais.
Movimentos Rgidos. Mtodo dos Mnimos Quadrados. Transformaes em Espaos com Produto Interno. O Teorema
da Representao para Funes Lineares. Adjunta de uma Transformao Linear. Operadores Simtricos, Unitrios,
Ortogonais e Normais. O Teorema Espectral. Formas Cannicas.
Anlise Combinatria
Distribuio. Permutaes. Combinaes. Funes Geradoras Ordinrias e Exponenciais. Princpio de Incluso e
Excluso. Enumerao de Parties, Grafos, rvores e Redes. Enumerao por Recurso. Permutaes com Posies
Restritas.
Clculo Diferencial e Integral
Limites de Funes e de Sequncias. Funes Reais de uma Varivel: Continuidade e Diferenciabilidade. Mximos e
Mnimos. Frmula de Taylor e Aproximao de Funes. Mtodo de Newton para o Clculo de Razes e de Mximos e
Mnimos. Integrao de Funes Reais de uma Varivel. Mtodos de Integrao. Integrao Aproximada. Regras
dos Trapzios, de Simpson e Generalizadas. Funes de Vrias Variveis: Continuidade e Diferenciabilidade. Gradiente.
Mximos e Mnimos. Multiplicadores de Lagrange. Transformaes. Matrizes Jacobianas. Teorema da Funo Inversa.
Diferenciao Implcita. Integrao de Funes de Vrias Variveis. Mudanas de Coordenadas em Integrais. Integral
de Linha.
Geometria Analtica
Matrizes. Sistemas de Equaes Lineares. Vetores. Produtos: escalar, vetorial e misto. lgebra Vetorial. Reta no plano
e no espao. Planos. Posies Relativas, Intersees, Distncias e ngulos. Crculo e Esfera. Coordenadas Polares,
Cilndricas e Esfricas.
Lgica Matemtica
Lgica Proposicional e de Predicados. Linguagem Proposicional e de Primeira Ordem. Sistemas Dedutivos. Tabelas
Verdade e Estruturas de Primeira Ordem. Relaes de Consequncia. Corretude. Completude. Compacidade.
Lowemhein-Skolem. Decidibilidade. Prova Automtica de Teoremas. Lgicas no clssicas.
Matemtica Discreta
Iterao, Induo e Recurso. Conjuntos e lgebra de Conjuntos como uma Teoria Axiomtica. Par Ordenado.
Funes. Funes e Formas Booleanas, lgebra Booleana, Minimizao de Funes Booleanas. Relaes sobre
Conjuntos, Relaes de Equivalncia e Ordem. Reticulados, Monides, Grupos, Anis. Teoria dos Cdigos, Canal
Binrio, Canal Simtrico, Cdigo de Blocos, Matrizes Geradoras e Verificadoras, Cdigos de Grupo, Cdigos de
Hamming. Teoria dos Domnios: Ordens Parciais Completas, Continuidade, Ponto Fixo, Domnios, Espao das Funes.
Probabilidade e Estatstica
Eventos. Experimentos Aleatrios. Anlise Exploratria de Dados. Descrio Estatstica dos Dados. Espaos
Amostrais. Probabilidades em Espaos Amostrais Discretos. Distribuies de Probabilidades de Variveis Aleatrias
Unidimensionais e Bidimensionais. Esperana Matemtica. Varincia e Coeficientes de Correlao. Aproximao
Normal. Estimao Pontual e por Intervalo. Teste de Hipteses para Mdias. Testes do Qui-Quadrado. Testes de
Comparaes de Mdias. Regresso e Correlao.
FUNDAMENTOS DA COMPUTAO
Anlise de Algoritmos
Medidas de Complexidade, Anlise Assinttica de Limites de Complexidade, Tcnicas de Prova de Cotas Inferiores.
Notao Big O, Little o, Omega e Theta. Medidas Empricas de Performance. O Uso de Relaes de
Recorrncia para Anlise de Algoritmos Recursivos. Anlise de Algoritmos Iterativos e Recursivos.
Algoritmos e Estrutura de Dados
Metodologia de Desenvolvimento de Algoritmos. Tipos de Dados Bsicos e Estruturados. Comandos de uma
Linguagem de Programao. Recursividade: Conceito e Implementao. Modularidade e Abstrao. Estratgias
14 | P g i n a

de Depurao. Cadeias e Processamento de Cadeias. Estruturas de Dados Lineares e suas Generalizaes: Listas
Ordenadas, Listas Encadeadas, Pilhas e Filas. rvores e suas Generalizaes: rvores Binrias, rvores de Busca e
rvores Balanceadas. Tabelas Hash. Algoritmos para Pesquisa e Ordenao. Algoritmos para Garbage Collection.
Tcnicas de Projeto de Algoritmos: Mtodo da Fora Bruta, Pesquisa Exaustiva, Algoritmo Guloso, Dividir e
Conquistar, Backtracking e Heursticas.
Arquitetura e Organizao de Computadores
Organizao de Computadores: Memrias, Unidades Centrais de Processamento, Entrada e Sada. Linguagens de
Montagem. Modos de Endereamento, Conjunto de Instrues. Mecanismos
de Interrupo e de Exceo.
Barramento, Comunicaes, Interfaces e Perifricos. Organizao de Memria. Memria Auxiliar. Arquiteturas RISC e
CISC. Pipeline. Paralelismo de Baixa Granularidade. Processadores Superescalares e Superpipeline.
Multiprocessadores. Multicomputadores. Arquiteturas Paralelas e no
Convencionais.
Circuitos Digitais
Sistemas de Numerao e Cdigos. Aritmtica Binria. Representao e Manipulao de Circuitos Combinatrios.
Minimizao e Otimizao de Funes Combinatrias. Projeto de Circuitos Combinatrios. Anlise e Sntese de
Componentes Sequenciais e de Memria. Projeto de Circuitos Sequenciais. Modelo de Mquinas de Estado Finito
(FSM). Circuitos Sequenciais Sncronos e Assncronos. Componentes de Armazenamento. Projeto de Sistemas Digitais:
Hierrquico e Modular. Princpios e Tcnicas de Projeto. Conceitos de Controle e de Tempo. Famlias Lgicas.
Dispositivos Lgicos Programveis (PLD).
Linguagens de Programao
Conceitos. Paradigmas de Linguagens de Programao. Semntica Formal. Teoria dos
Tipos: Sistemas de Tipos, Polimorfismo. Verificao e Inferncia de Tipos.
Linguagens Formais, Autmatos e Computabilidade
Gramticas. Linguagens Regulares, Livres-de-Contexto e Sensveis-ao-Contexto. Tipos de Reconhecedores.
Operaes com Linguagens. Propriedades das Linguagens. Autmatos de Estados Finitos Determinstico e no
Determinstico. Autmatos de Pilha. Mquina de Turing. Hierarquia de Chomsky. Funes Recursivas. Tese de Church.
Problemas Indecidveis. Teorema da Incompletude de Godel. Classes de Problemas P, NP, NP Completo e NP-Difcil.
Mtodos de Reduo de Problemas.
Organizao de Arquivos e Dados
Organizao, Estrutura e Operao de Arquivos. Diretrios: Contedo e Estrutura. Arquivos do Sistema e Sistema de
Arquivos Virtuais. Tcnicas de Pesquisa. Dados e Metadados. Representao Digital e Analgica. Algoritmos de
Codificao e Decodificao. Compresso de Dados, udio, Imagem e Vdeo.
Sistemas Operacionais
Conceito de Processo. Gerncia de Processos/Processador. Comunicao, Concorrncia e Sincronizao de
Processos. Gerenciamento de Memria: Memria Virtual, Paginao, Segmentao e Swap. Gerenciamento de
Arquivos. Gerenciamento de Dispositivos de Entrada/Sada. Alocao de Recursos.
Tcnicas de Programao
Desenvolvimento de algoritmos. Tipos de dados bsicos e estruturados. Comandos de uma Linguagem de programao.
Metodologia de desenvolvimento de programas. Modularidade e abstrao.
Teoria dos Grafos
Grafos orientados e no-orientados. Caminhos. Planaridade. Conectividade. Colorao. Grafos Infinitos.
Algoritmos em grafos. Problemas intratveis. Busca em Largura e Profundidade. Algoritmos do Menor Caminho. rvore
Geradora. Ordenao Topolgica.
TECNOLOGIA DE COMPUTAO
Banco de Dados
Modelo de Dados. Modelagem e Projeto de Banco de Dados. Sistemas de Gerenciamento de Bancos de Dados
(SGBD): Arquitetura, Segurana, Integridade, Concorrncia, Recuperao aps Falha, Gerenciamento de Transaes.
Linguagens de Consulta. Bancos de Dados Distribudos. Minerao de Dados.

15 | P g i n a

Compiladores
Compiladores e Interpretadores. Anlise Lxica e Sinttica. Tabelas de Smbolos. Esquemas de Traduo.
Ambientes de Tempo de Execuo. Representao Intermediria. Anlise Semntica. Gerao de Cdigo. Otimizao
de Cdigo. Bibliotecas e Compilao em Separado.
Computao Grfica
Transformaes Geomtricas em Duas e Trs Dimenses: Coordenadas Homogneas e Matrizes de Transformao.
Transformao entre Sistemas de Coordenadas 2D e Recorte. Transformaes de Projeo Paralela e Perspectiva.
Cmera Virtual. Transformao entre Sistemas de Coordenadas 3D. Definio de Objetos e Cenas Tridimensionais:
Modelos Poliedrais e Malhas de Polgonos. O Processo de Rendering: Fontes de Luz, Remoo de Linhas e
Superfcies Ocultas, Modelos de Tonalizao (Shading). Aplicao de Texturas. O problema do Serrilhado (Aliasing)
e Tcnicas de Anti-Serrilhado (Antialiasing). Visualizao.
Engenharia de Software
Processo de Desenvolvimento de Software. Ciclo de Vida de Desenvolvimento de Software. Qualidade de Software.
Tcnicas de Planejamento e Gerenciamento de Software. Gerenciamento de Configurao de Software. Engenharia de
Requisitos. Mtodos de Anlise e de Projeto de Software. Garantia de Qualidade de Software. Verificao, Validao
e Teste. Manuteno. Documentao. Padres de Desenvolvimento. Reuso. Engenharia Reversa. Reengenharia.
Ambientes de Desenvolvimento de Software.
Inteligncia Artificial
Linguagens Simblicas. Programao em Lgica. Resoluo de Problemas como Busca. Estratgias de Busca, Busca
Cega e Busca Heurstica. Hill climbing, best first, simulated annealing e Algoritmo A*. Busca como Maximizao de
Funo. Grafos And/Or. Esquemas para Representao do Conhecimento: Lgicos, em Rede, Estruturados,
Procedurais. Sistemas de Produo com Encadeamento para a Frente e Encadeamento para trs. Raciocnio
No-Monotnico. Formalismos para a Representao de Conhecimento Incerto. A Regra de Bayes. Conjuntos
e Lgica Fuzzy. Aprendizado de Mquina. Aprendizado Indutivo. rvores de Deciso, Redes Neurais e Algoritmos
Genticos. Sistemas Especialistas. Processamento de Linguagem Natural. Agentes Inteligentes. Robtica.
Processamento de Imagens
Introduo aos Filtros Digitais. Mtodos de Espao de Estados. Noes de Percepo Visual Humana. Amostragem e
Quantizao de Imagens. Transformadas de Imagens. Realce. Filtragem e Restaurao. Reconstruo Tomogrfica de
Imagens. Codificao. Anlise de Imagens e Noes de Viso Computacional. Reconhecimento de Padres.
Redes de Computadores
Tipos de Enlace, Cdigos, Modos e Meios de Transmisso. Protocolos e Servios de Comunicao. Terminologia,
Topologias, Modelos de Arquitetura e Aplicaes. Especificao de Protocolos. Internet e Intranets. Interconexo de
Redes. Redes de Banda Larga. Segurana e Autenticao. Avaliao de Desempenho.
Sistemas Distribudos
Problemas Bsicos em Computao Distribuda: Coordenao e Sincronizao de Processos, Excluso Mtua,
Difuso de Mensagens. Compartilhamento de Informao: Controle de Concorrncia, Transaes Distribudas.
Comunicao entre Processos. Tolerncia a Falhas. Sistemas Operacionais Distribudos: Sistemas de Arquivos,
Servidores de Nomes, Memria Compartilhada, Segurana.

16 | P g i n a