Concurso Para Professor Da Ufabc - P.2

42

ISSN 1677-7069

Espaços de probabilidade. Variáveis aleatórias e distribuições. Independência. Esperança. Probabilidade e esperança condicional. 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 Intermediá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 edition, 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 Temporais, 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 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, 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 Richardson, 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 diferenciais ordinárias: método do chute linear, diferenças finitas e Rayleigh-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 Mathematics. 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, 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; 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 Richardson, 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 diferenciais ordinárias: método do chute linear, diferenças finitas e Rayleigh-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 Mathematics. 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. Grafos. 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; Comunicação entre Sistemas: barramentos paralelos e seriais; Dispositivos de Memória, Gerenciamento de Memó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; Avaliação de Confiabilidade e Disponibilidade; Arquiteturas não convencionais. Bibliografia Básica Recomendada Aho,A.V.; Hopcroft,J.E.; Ullman,J.D.; Data Structure and Algorithms. 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. Editora 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 Computadores; LTC, 4º ed. 2001. Stallings, William; Arquitetura e Organização de Computadores; Prentice-Hall do Brasil, 5º ed. 2002 Tocci, J. Ronald; Widmer, Neal S.; Sistemas Digitais: Princí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 paralelos e seriais; Dispositivos de Memória, Gerenciamento de Memó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; Avaliação de Confiabilidade e Disponibilidade; Arquiteturas não convencionais. 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 Computadores; Prentice-Hall do Brasil, 5º ed. 2002 Tanenbaum, Andrew S.; Organização Estruturada de Computadores; LTC, 4º ed. 2001. Tocci, J. Ronald; Widmer, Neal S.; Sistemas Digitais: Princí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. Grafos. 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 Relacional. Mapeamento do Modelo Entidade-Relacionamento para o Relacional. Linguagens Formais de Consulta. Dependências Funcionais e normalização. Modelo Relacional-Objeto. Banco de Dados Orientado a Objetos. Gerenciamento de Transações. Controle de Concorrência. Banco de Dados Distribuído. Data Warehouse. Bibliografia Básica Recomendada Aho,A.V.; Hopcroft,J.E.; Ullman,J.D.; Data Structure and Algorithms. 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. Editora 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 Systems, 3nd Edition. Benjamin/Cummings 1999, Silberschat, A.; Korth, H.F.; Sudarshan, S. - Sistemas de Banco 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-Relacionamento. Modelo de Dados Relacional. Mapeamento do Modelo Entidade-Relacionamento para o Relacional. Linguagens Formais de Consulta. Dependências Funcionais e normalização. Modelo Relacional-Objeto. Banco de Dados Orientado a Objetos. Gerenciamento de Transações. Controle de Concorrência. Banco de Dados Distribuí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 Systems, 3nd Edition. Benjamin/Cummings 1999

Silberschat, A.; Korth, H.F.; Sudarshan, S. - Sistemas de Banco 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/Inteligência Artificial - Conteúdo para a Prova Escrita: Complexidade de Algoritmos. Listas lineares. Árvores. Grafos. Algoritmos de ordenação interna e externa. Algoritmos de busca interna e externa. Programação orientada a objetos. Teoria da Computaçã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 Algorithms. 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. Editora 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 Algoritmos. UFRGS: Editora Sagra Luzzatto, 1ª. Edição, 2001. Russel, S., Norvig, P., Artificial Intelligence: A Modern Approach, 2nd. ed., Prentice Hall, 2003. Rezende, S.O. Sistemas Inteligentes: Fundamentos e Aplicaçõ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, 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 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 Algoritmos. UFRGS: Editora Sagra Luzzatto, 1ª. Edição, 2001. Russel, S., Norvig, P., Artificial Intelligence: A Modern Approach, 2nd. ed., Prentice Hall, 2003. Rezende, S.O. Sistemas Inteligentes: Fundamentos e Aplicaçõ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. Grafos. 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; 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 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 Algorithms. 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. Editora Campus, 1983.Ziviani N. Projeto de Algoritmos 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, Thompson 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 Algoritmos. UFRGS: Editora Sagra Luzzatto, 1ª. Edição, 2001. - Conteúdo para a Prova Didática: Engenharia de Software: modelos de processos de desenvolvimento 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 informação; especificação e projeto de sistemas de informação; segurança e auditoria de sistemas de informação.