SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO FUNDAÇÃO UNIVERSIDADE FEDERAL DE RONDÔNIA Programas para o concurso público - magistério superior da Universidade Federal de Rondônia Campus de Porto Velho Departamento de Informática Área: Informática/Computação CONTEÚDO PROGRAMÁTICO: 1. Algoritmos de pesquisa e Ordenação; 2. Autômatos finitos; 3. Autômatos de pilha; 4. Máquina de Turing; 5. Gramáticas; 6. Abordagem Ergonômica para Interface Homem Máquina; 7. Introdução à semântica formal; 8. Calculo de lambda; 9. Expressões lambda; 10. Conceitos de Linguagens de Programação; 11. Desenvolvimento de programas, rotinas sub-rotinas, Sistemas aplicativos; 12. Programação Plataforma WEB; 13. Computabilidade Efetiva; 14. Funções Recursivas; 15. Tese de Church. BIBLIOGRAFIA 1. WEISS, M. A Data Structures and Algorithm Analysis in C. Editora BenjaminCummings. 2. TENENBAUM, Y. L., and M. J. Augenstein. Estrutura de Dados Usando C. Makron Books. 3. HOPCROFT, J. E. e ULLMAN, J. D. Introdução a Teoria de Autômatos, Linguagens e Computação. Campus. 4. VILARIM. Gilvan. Algoritmos – Programação para Iniciantes. Ciência Moderna Ltda. 5. BORATTI, Isaías Camilo e OLIVEIRA, Álvaro Borges. Introdução à Programação – Algoritmos. Visual Book. 6. GOODRICH. Michael T. e TAMASSIA. Roberto. Estrutura de Dados e Algoritmo em JAVA. Bookman. 7. SEBESTA, Robert W. Conceitos de Linguagens de Programação. Bookman. 8. BAUERFELD, P. Software by Design: creating people friendly software. M&T Books. 9. KENNETH, Slonneger & BARRY, Kurtz. Forma Sytax and Semantics of Programming Linguages. Addison Wesley.