42 ISSN 1677-7069
Espaços de probabilidade. Variáveis aleatórias e distribui-
ções. Independência. Esperança. Probabilidade e esperança condi-
cional. Funções geradoras e características. Modos de convergência.
Cadeias de Markov. Processos estacionários. Teoria de renovação.
Teoria de filas. Martingais. Processos difusivos.
Bibliografia Básica Recomendada:
Grimmett, G. R. & Stirzaker, D. R., Probability and Random
Processes, 3rd edition, Oxford University Press, 2001.
Karr, A., Probability, 1st edition, Springer, 1993.
James, B. R., Probabilidade: Um Curso em Nível Interme-
diário, 3ª. edição, IMPA, Rio de Janeiro, 2004.
Sub-área Estatística (para aqueles que optarem por esta sub-área):
Estatísticas e Distribuições Amostrais. Estimação Pontual.
Testes de Hipóteses. Intervalos de Confiança. Análise de Variância.
Análise de Regressão. Noções de Inferência Bayesiana. Inferência
Não-Paramétrica. Introdução a Análise de Sobrevivência. Introdução
a Análise de Séries Temporais.
Bibliografia Básica Recomendada:
Casella, G. & Berger, R. L., Statistical Inference, 2nd edi-
tion, Duxbury Press, 2001.
Schervish, M.J., Theory of Statistics, Springer-Verlag, New
York, 1995.
Mood, A. M., Graybill, F. A. & Boes, D. C., Introduction to
the Theory of Statistics, 3rd edition, McGraw-Hill, 1974.
Klein, J. P. & Moeschberger, Survival Analysis, Techniques
for Censored and Truncated Data, Springer Verlag, 2003.
Morettin, P.A. & Toloi, C.M.C., Análise de Séries Tem-
porais, 2ª. edição, Editora Edgad Blucher, 2006.
Anexo I.2: Temas da Área de Análise Numérica:
- Conteúdo para a Prova Escrita
Análise na Reta: Conjuntos e Funções. Conjuntos Finitos,
Enumeráveis e Não-enumeráveis. Números Reais. Seqüências e Sé-
ries de Números Reais. Topologia da Reta. Limites de Funções. Fun-
ções Contínuas. Derivadas. Integral de Riemann. Seqüências e Séries
de Funções.
Bibliografia Básica Recomendada:
Lima, Elon L., Curso de Análise vol. 1, 12ª. edição, IMPA,
Rio de Janeiro, 2004.
Álgebra Linear: Equações Lineares. Espaços Vetoriais.
Transformações Lineares. Polinômios. Determinantes. Formas Canô-
nicas. Espaços com Produto Interno. Operadores. Formas Bilineares.
Bibliografia Básica Recomendada:
Hoffman, K. & Kunze, R., Linear Algebra, 2nd edition,
Prentice Hall, 1971.
Análise Numérica: Erros de arredondamento e sua propa-
gação. Interpolação: por funções polinomiais, racionais, trigonomé-
tricas e por partes (splines). Sistemas de equações algébricas lineares:
Eliminação gaussiana, algoritmo de Gauss-Jordan, decomposição de
Cholesky, fatoração LU e técnicas de ortogonalização de Householder
e Gram Schmidt; norma e condicionamento. Equações algébricas não
lineares: métodos da bissecção, de Newton, da secante, de ponto fixo
e do maior declive. Método dos mínimos quadrados. Derivação e
Integração numérica: Diferenciação numérica, extrapolação de Ri-
chardson, quadraturas adaptativas, integração de Romberg, quadratura
Gaussiana. Resolução numérica de problemas de valor inicial para
equações diferenciais ordinárias: métodos de Euler, Runge-Kuta, de
passo múltiplo, de extrapolação e estabilidade numérica. Resolução
numérica de problemas de valor no contorno para equações dife-
renciais ordinárias: método do chute linear, diferenças finitas e Ray-
leigh-Ritz; convergência, consistência e estabilidade.
Bibliografia Básica Recomendada:
1. Burden, R. L., Faires, J. D., Numerical Analysis, third
edition. PWS Publishers, 1985.
2. Conte, S. D. & Boor, C., Elementary numerical analysis,
McGraw-Hill, 1980.
3. Cunha, M. C. C., Métodos Numéricos, segunda edição,
Editora da Unicamp, 2000.
4. Hammerlin, G. E., Hoffmann, K. H., Numerical Mathe-
matics. Springer-Verlag, 1991.
5. Stoer, J., Bulirsch, R., Introduction to Numerical Analysis.
Springer-Verlag, 1980.
- Conteúdo para a Prova Didática :
Erros de arredondamento e sua propagação. Interpolação: por
funções polinomiais, racionais, trigonométricas e por partes (splines).
Sistemas de equações algébricas lineares: Eliminação gaussiana, al-
goritmo de Gauss-Jordan, decomposição de Cholesky, fatoração LU e
técnicas de ortogonalização de Householder e Gram Schmidt; norma
e condicionamento. Equações algébricas não lineares: métodos da
bissecção, de Newton, da secante, de ponto fixo e do maior declive;
zeros de um polinômio. Método dos mínimos quadrados. Derivação e
Integração numérica: Diferenciação numérica, extrapolação de Ri-
chardson, quadraturas adaptativas, integração de Romberg, quadratura
Gaussiana. Resolução numérica de problemas de valor inicial para
equações diferenciais ordinárias: métodos de Euler, Runge-Kuta, de
passo múltiplo, de extrapolação e estabilidade numérica. Resolução
numérica de problemas de valor no contorno para equações dife-
renciais ordinárias: método do chute linear, diferenças finitas e Ray-
leigh-Ritz; convergência, consistência e estabilidade.
Bibliografia Básica Recomendada:
1. Burden, R. L., Faires, J. D., Numerical Analysis, third
edition. PWS Publishers, 1985.
2. Conte, S. D. & Boor, C., Elementary numerical analysis,
McGraw-Hill, 1980.
3. Cunha, M. C. C., Métodos Numéricos, segunda edição,
Editora da Unicamp, 2000.
4. Hammerlin, G. E., Hoffmann, K. H., Numerical Mathe-
matics. Springer-Verlag, 1991.
5. Stoer, J., Bulirsch, R., Introduction to Numerical Analysis.
Springer-Verlag, 1980.
3 Nº 161, terça-feira, 21 de agosto de 2007
Anexo I.3 - Temas da Área de Sistemas Digitais
- Conteúdo para a Prova Escrita:
Complexidade de Algoritmos. Listas lineares. Árvores. Gra-
fos. Algoritmos de ordenação interna e externa. Algoritmos de busca
interna e externa. Programação orientada a objetos. Códigos e Lógica
Binária; Circuitos de Chaveamento; Análise e Projeto de Circuitos
Combinatórios e Seqüenciais; Circuitos Lógicos Digitais; Modelo de
Máquinas de Estado Finito; Interfaces Analógicas e Digitais; Co-
municação entre Sistemas: barramentos paralelos e seriais; Dispo-
sitivos de Memória, Gerenciamento de Memória; Microcontroladores;
Processadores para Aplicações Específicas (ASIPs); Co-projeto de
Hardware e Software: Formalismos, Metodologias, Ferramentas; Mi-
croprocessadores; Linguagem de máquina; Interconexões Avançadas;
Avaliação de Desempenho; Avaliação de Confiabilidade e Dispo-
nibilidade; Arquiteturas não convencionais.
Bibliografia Básica Recomendada
Aho,A.V.; Hopcroft,J.E.; Ullman,J.D.; Data Structure and Al-
gorithms. Readings, Addison Wesley, 1982.
Cormen, T. H et al.; Algoritmos: Teoria e Prática. Rio de
Janeiro: Editora Campus, 2ª edição, 2002.
Santos R.; Introducao a Programacao Orientada a Objetos
usando Java, Ed. Campus, 2003.
Szwarcfiter,J.L.; Grafos e Algoritmos Computacionais. Edi-
tora Campus, 1983.
Ziviani N. Projeto de Algoritmos com implementação em
Java e C++.São Paulo: Editora Thomson, 1ª edição, 2007.
Tanenbaum, Andrew S.; Organização Estruturada de Com-
putadores; LTC, 4º ed. 2001.
Stallings, William; Arquitetura e Organização de Compu-
tadores; Prentice-Hall do Brasil, 5º ed. 2002
Tocci, J. Ronald; Widmer, Neal S.; Sistemas Digitais: Prin-
cípios e Aplicações; Pearson Prentice-Hall, 8ª edição, 2003
John F. Wakerly; Digital Design: Principles and Practices;
Prentice Hall; 4 edition (July 27, 2005)
- Conteúdo para a Prova Didática:
Códigos e Lógica Binária; Circuitos de Chaveamento; Aná-
lise e Projeto de Circuitos Combinatórios e Seqüenciais; Circuitos
Lógicos Digitais; Modelo de Máquinas de Estado Finito; Interfaces
Analógicas e Digitais; Comunicação entre Sistemas: barramentos pa-
ralelos e seriais; Dispositivos de Memória, Gerenciamento de Me-
mória; Microcontroladores; Processadores para Aplicações Especí-
ficas (ASIPs); Co-projeto de Hardware e Software: Formalismos,
Metodologias, Ferramentas; Microprocessadores; Linguagem de má-
quina; Interconexões Avançadas; Avaliação de Desempenho; Ava-
liação de Confiabilidade e Disponibilidade; Arquiteturas não con-
vencionais.
Bibliografia Básica Recomendada
John F. Wakerly; Digital Design: Principles and Practices;
Prentice Hall; 4 edition (July 27, 2005)
Stallings, William; Arquitetura e Organização de Compu-
tadores; Prentice-Hall do Brasil, 5º ed. 2002
Tanenbaum, Andrew S.; Organização Estruturada de Com-
putadores; LTC, 4º ed. 2001.
Tocci, J. Ronald; Widmer, Neal S.; Sistemas Digitais: Prin-
cípios e Aplicações; Pearson Prentice-Hall, 8ª edição, 2003
Anexo I.4 - Temas da Área de Banco de Dados
- Conteúdo para a Prova Escrita:
Complexidade de Algoritmos. Listas lineares. Árvores. Gra-
fos. Algoritmos de ordenação interna e externa. Algoritmos de busca
interna e externa. Programação orientada a objetos. Componentes de
um SGBD. Modelo Entidade-Relacionamento. Modelo de Dados Re-
lacional. Mapeamento do Modelo Entidade-Relacionamento para o
Relacional. Linguagens Formais de Consulta. Dependências Funcio-
nais e normalização. Modelo Relacional-Objeto. Banco de Dados
Orientado a Objetos. Gerenciamento de Transações. Controle de Con-
corrência. Banco de Dados Distribuído. Data Warehouse.
Bibliografia Básica Recomendada
Aho,A.V.; Hopcroft,J.E.; Ullman,J.D.; Data Structure and Al-
gorithms. Readings, Addison Wesley, 1982.
Cormen, T. H et al.; Algoritmos: Teoria e Prática. Rio de
Janeiro: Editora Campus, 2ª edição, 2002.
Santos R.; Introducao a Programacao Orientada a Objetos
usando Java, Ed. Campus, 2003.
Szwarcfiter,J.L.; Grafos e Algoritmos Computacionais. Edi-
tora Campus, 1983.
Ziviani N. Projeto de Algoritmos com implementação em
Java e C++.São Paulo: Editora Thomson, 1ª edição, 2007.
Elmasri, R.; Navathe, S.B. Fundamentals of Database Sys-
tems, 3nd Edition. Benjamin/Cummings 1999,
Silberschat, A.; Korth, H.F.; Sudarshan, S. - Sistemas de Ban-
co de Dados, São Paulo, Editora Makron Books - 3º edição, 1999.
Ramakrishnan, R. Database Management Systems.
WCB/McGraw?Hill 1998.
Date, C.J. "Introdução aos Sistemas de Banco de Dados".
Campus. 4a Ed.
- Conteúdo para a Prova Didática:
Componentes de um SGBD. Modelo Entidade-Relaciona-
mento. Modelo de Dados Relacional. Mapeamento do Modelo En-
tidade-Relacionamento para o Relacional. Linguagens Formais de
Consulta. Dependências Funcionais e normalização. Modelo Rela-
cional-Objeto. Banco de Dados Orientado a Objetos. Gerenciamento
de Transações. Controle de Concorrência. Banco de Dados Distri-
buído. Data Warehouse.
Bibliografia Básica Recomendada
Date, C.J. Introdução aos Sistemas de Banco de Dados.
Campus. 4a Ed.
Elmasri, R.; Navathe, S.B. Fundamentals of Database Sys-
tems, 3nd Edition. Benjamin/Cummings 1999
Silberschat, A.; Korth, H.F.; Sudarshan, S. - Sistemas de Ban-
co de Dados, São Paulo, Editora Makron Books - 3º edição, 1999.
Ramakrishnan, R. Database Management Systems.
WCB/McGraw?Hill 1998.
Anexo I.5 - Temas da Área de Teoria da Computação/In-
teligência Artificial
- Conteúdo para a Prova Escrita:
Complexidade de Algoritmos. Listas lineares. Árvores. Gra-
fos. Algoritmos de ordenação interna e externa. Algoritmos de busca
interna e externa. Programação orientada a objetos. Teoria da Com-
putação. Introdução geral a sistemas formais. Modelos de computação
(máquina de Turing, lambda-cálculo, funcões parciais recursivas).
Linguagens formais. Hierarquia de Chomsky. Computabilidade. Ló-
gica. Inteligência Artificial. Resolução de problemas. Métodos de
busca. Sistemas baseados em conhecimento. Aprendizagem. Modelos
conexionistas. Sistemas multiagentes.
Bibliografia Básica Recomendada
Aho,A.V.; Hopcroft,J.E.; Ullman,J.D.; Data Structure and Al-
gorithms. Readings, Addison Wesley, 1982.
Cormen, T. H et al.; Algoritmos: Teoria e Prática. Rio de
Janeiro: Editora Campus, 2ª edição, 2002.
Santos R.; Introducao a Programacao Orientada a Objetos
usando Java, Ed. Campus, 2003.
Szwarcfiter,J.L.; Grafos e Algoritmos Computacionais. Edi-
tora Campus, 1983.
Ziviani N. Projeto de Algoritmos com implementação em
Java e C++.São Paulo: Editora Thomson, 1ª edição, 2007.
Menezes, P. B., Linguagens Formais e Autômatos. UFRGS:
Editora Sagra Luzzatto, 1ª. Edição, 2001.
Hopcroft, J. E., Ullman, D. J., Motowani, R., Introdução à
Teoria de Autômatos, Linguagens e Computação. Rio de Janeiro:
Editora Campus, 2ª edição 2003.
Toscani, L. V. E Veloso, P. A. S., Complexidade de Al-
goritmos. UFRGS: Editora Sagra Luzzatto, 1ª. Edição, 2001.
Russel, S., Norvig, P., Artificial Intelligence: A Modern Ap-
proach, 2nd. ed., Prentice Hall, 2003.
Rezende, S.O. Sistemas Inteligentes: Fundamentos e Apli-
cações. 1. ed., Manole, 2003.
Bittencourt, G. Inteligência Artificial Ferramentas e Teorias.
UFSC. 3a. Edição. 2006.
- Conteúdo para a Prova Didática:
Teoria da Computação. Introdução geral a sistemas formais.
Modelos de computação (máquina de Turing, lambda-cálculo, fun-
cões parciais recursivas). Linguagens formais. Hierarquia de Choms-
ky. Computabilidade. Lógica. Inteligência Artificial. Resolução de
problemas. Métodos de busca. Sistemas baseados em conhecimento.
Aprendizagem. Modelos conexionistas. Sistemas multiagentes.
Bibliografia Básica Recomendada
Menezes, P. B., Linguagens Formais e Autômatos. UFRGS:
Editora Sagra Luzzatto, 1ª. Edição, 2001.
Hopcroft, J. E., Ullman, D. J., Motowani, R., Introdução à
Teoria de Autômatos, Linguagens e Computação. Rio de Janeiro:
Editora Campus, 2ª edição 2003.
Toscani, L. V. E Veloso, P. A. S., Complexidade de Al-
goritmos. UFRGS: Editora Sagra Luzzatto, 1ª. Edição, 2001.
Russel, S., Norvig, P., Artificial Intelligence: A Modern Ap-
proach, 2nd. ed., Prentice Hall, 2003.
Rezende, S.O. Sistemas Inteligentes: Fundamentos e Apli-
cações. 1. ed., Manole, 2003.
Bittencourt, G. Inteligência Artificial Ferramentas e Teorias.
UFSC. 3a. Edição. 2006.
Anexo I.6 - Temas da Área de Engenharia de Software /
Sistemas de Informação
- Conteúdo para a Prova Escrita:
Complexidade de Algoritmos. Listas lineares. Árvores. Gra-
fos. Algoritmos de ordenação interna e externa. Algoritmos de busca
interna e externa. Programação orientada a objetos. Engenharia de
Software: modelos de processos de desenvolvimento de software;
qualidade de software; gerenciamento de projeto de software; en-
genharia de requisitos; padrões de software; teste e validação de
software. Sistemas de informação: conceitos, componentes e rela-
cionamentos; custo, valor e qualidade da informação; especificação e
projeto de sistemas de informação; segurança e auditoria de sistemas
de informação.
Bibliografia
Aho,A.V.; Hopcroft,J.E.; Ullman,J.D.; Data Structure and Al-
gorithms. Readings, Addison Wesley, 1982.Cormen, T. H et al.; Al-
goritmos: Teoria e Prática. Rio de Janeiro: Editora Campus, 2ª edição,
2002.Santos R.; Introducao a Programacao Orientada a Objetos usan-
do Java, Ed. Campus, 2003. Szwarcfiter,J.L.; Grafos e Algoritmos
Computacionais. Editora Campus, 1983.Ziviani N. Projeto de Al-
goritmos com implementação em Java e C++.São Paulo: Editora
Thomson, 1ª edição, 2007.
Sommerville, I. Engenharia de Software, Pearson Education
do Brasil, 2003.
Pressman, R. S.. Engenharia de Software, McGraw-Hill, 2002.
Stair, R. M., Princípios de Sistemas de Informação, Thomp-
son Pioneira, 6ªEdição, 2005
Laudon, K., Laudon, J. P. Sistemas de Informação: com
Internet. 4 ed. LTC.Rio de Janeiro, 4ª Edição, 1999
Toscani, L. V., Veloso, P. A. S., Complexidade de Algo-
ritmos. UFRGS: Editora Sagra Luzzatto, 1ª. Edição, 2001.
- Conteúdo para a Prova Didática:
Engenharia de Software: modelos de processos de desen-
volvimento de software; qualidade de software; gerenciamento de
projeto de software; engenharia de requisitos; padrões de software;
teste e validação de software. Sistemas de informação: conceitos,
componentes e relacionamentos; custo, valor e qualidade da infor-
mação; especificação e projeto de sistemas de informação; segurança
e auditoria de sistemas de informação.