Interessante a bibliografia deste concurso. Confesso que não conhecia os segiintes livros:
1. Huth, Michael; Ryan, Mark. Logic in Computer Science modelling and reasoning about systems. Cambridge University Press, 2004. 9. S. Hedman. A first course in logic. Oxford University Press, 2004. Alguém da lista conhece? Tem alguma opinião sobre eles? Adolfo ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com ========================================== ------------------------ *ÁREA*: *Fundamentos da Computação: teoria da computação, lógica e complexidade.* *PROGRAMA:* 1. Teoria da computação 2. Lógica em computação 3. Complexidade computacional *BIBLIOGRAFIA:* * 1. Huth, Michael; Ryan, Mark. Logic in Computer Science modelling and reasoning about systems. Cambridge University Press, 2004. 2. George S. Boolos, John P. Burgess, Richard C. Jeffrey. Computability and Logic. 4th Edition, Cambridge University Press, 2002. 3. Herbert B. Enderton, A Mathematical Introduction to Logic. 2ndedition. Academic Press, 2001. 4. Hopcroft, J. E.; Motwani, R.; Ullman, J. D. Introduction to Automata Theory, Languages, and Computation. 2nd edition. Addison Wesley, 2000. 5. Abramsky, S.; D. Gabbay; T.S.E. Maibaum. Handbook of logic in computer science, volumes 1,2,3,4,5. Oxford University Press, 1992-. 6. J. van Leeuwen. Handbook of theoretical computer science. Elsevier, 1990. Volume A: Algorithms and Complexity. Volume B: Formal Models and Semantics. 7. D.M. Gabbay. Elementary logics: a procedural perspective. Prentice-Hall, 1998. 8. P. Odifreddi. Classical Recursion Theory. Elsevier, 1992. Volume 125 da série Studies in logic and the foundations of mathematics. * 9. S. Hedman. A first course in logic. Oxford University Press, 2004. 10. Diverio, T.A. Menezes, P.F. Blauth. Teoria da Computação: Máquinas Universais e Computabilidade Porto Alegre: Bookman, 2008. 11. C. Papadimitriou. Computational Complexity. Addison-Wesley, 1994. 12. P. Blackburn; M. De Rijke; Y. Venema. Modal Logic. Cambridge UniversityPress, 2001. 13. D.M. Gabbay. Logic for Artificial Intelligence and Information Technology. College Publications, 2007. 14. H. Lewis; C. Papapdimitriou. Elements of the theory of computation. Prentice Hall, 2. ed., 1997. 15. A.Voronkov; J.A.Robinson (eds). Handbook of automated reasoning. Volumes 1 e 2. North Holland, 2001. 16. Complexidade de Algoritmos. Laira Toscani e Paulo Veloso. Bookman, 2008 17. Cormen, T; Leiserson, C; Rivest, R; Stein C. Introduction to Algorithms. 2nd edition. MIT Press, 2001. 2008/11/27 Joao Marcos <[EMAIL PROTECTED]> > ===================================================== > CONCURSO PÚBLICO PARA PROFESSOR ADJUNTO > Departamento de Informática Teórica > Instituto de Informática, UFRGS > ===================================================== > Estão abertas as inscrições para o concurso público > para Professor Adjunto Nível I, com titulação > mínima de doutorado, junto ao > Departamento de Informática Teórica, > Instituto de Informática, UFRGS. > ----------------------------------------------------- > ***PERÍODO DE INSCRIÇÃO: de 19/11/2008 a 18/12/2008 > ----------------------------------------------------- > ÁREA de Conhecimento do concurso: > FUNDAMENTOS DA COMPUTAÇÃO: teoria da computação, > lógica e complexidade. > PROGRAMA: > 1.Teoria da computação > 2.Lógica em computação > 3.Complexidade computacional > ----------------------------------------------------- > Normas e informações sobre INSCRIÇÃO e sobre o concurso em > http://www.ufrgs.br/prorh/concursos_abertos/ > > http://www.ufrgs.br/prorh/concursos_abertos/Docentes08/Quadrovagas_Doc08_interno.htm#7 > email: [EMAIL PROTECTED] > Telefone: (51)3308 6157 > ===================================================== > Sobre o Instituto de Informática, UFRGS > > O Instituto de Informática (II/UFRGS) foi fundado > em 09 de novembro de 1989 tendo suas origens no > Centro de Processamento de Dados da UFRGS, criado > em 1968 e a partir da criação do Curso de Pós-Graduação > em Ciência da Computação, em 1973. > Está localizado no Campus do Vale em uma área > de 7.700 m2. O Instituto é hoje > reconhecido como uma das referências nacionais > em formação de recursos humanos, pesquisa e > desenvolvimento tecnológico em computação. > O Instituto de Informática foi responsável direto > pela criação do pólo de Informática, Eletrônica e > Telecomunicações do sul do Brasil. > > Tanto seu curso de graduação em Ciência da Computação, > que completou 25 anos em 2008, quanto seu curso de > Engenharia da Computação, que completa 10 anos em 2008 > têm sido avaliados entre os melhores do país nas > avaliações do MEC e da imprensa > popular (Info Exame, Guia do Estudante e outros). > O Programa de Pós-Graduação em Computação recebeu > nota 6 na última avaliação da CAPES/MEC, tem > produção científica crescente e alta > taxa de sucesso na formação de mestres e doutores. > > As atividades de pesquisa do Instituto, se desenvolvem > em cinco grandes linhas: Engenharia de Computação, > Informática Teórica, Inteligência Artificial, Sistemas de > Computação e Sistemas de Informação. Os grupos de pesquisa > cooperam com diversas instituições de pesquisa nacionais > e internacionais e com empresas. > O Instituto de Informática sedia o Centro de Empreendimentos > em Informática (CEI/II-UFRGS), responsável > pela geração de novas empresas de TIC e interação qualificada > com o setor produtivo. > Mais informações sobre o Instituto de Informática em > http://www.inf.ufrgs.br > =========================================== > Sobre o Departamento de Informática Teórica > > O departamento é responsável pelo ensino e pesquisa nas > áreas fundamentais (teóricas) da computação. > Atualmente o departamento conta com 12 professores doutores > atuando no ensino de graduação, pós-graduação e pesquisa em > áreas que incluem: > Algoritmos, complexidade e otimização; Bioinformática; > Fundamentos Matemáticos da Computação; Inteligência Artificial; > Lógica Computacional; Métodos Formais; Modelagem Numérica, > Analítica e Estatística de Sistemas; Modelos de Computação; > Processamento de Linguagem Natural e Lingüística > Computacional; Robótica; Sistemas Complexos. > > Professores do Departamento: > Aline Villavicencio (D, University of Cambridge) > Álvaro Freitas Moreira, (D, University of Edinburgh) > Ana Lúcia C. Bazzan (D, Universität Karlsruhe) > Edson Prestes e Silva Junior (D, Univ. Federal do Rio Grande do Sul) > Leila Ribeiro (D, Technische Universität Berlin) > Luciana S. Buriol (D, Universidade Estadual de Campinas) > Luís C. Lamb (D, Imperial College London) > Marcus Rolf Peter Ritt (D, Universität Tübingen) > Paulo Fernando Blauth Menezes (D, Instituto Superior Técnico) > Rosa Maria Viccari (D, Universidade de Coimbra) > Roberto da Silva (D, Universidade de São Paulo) > Tiarajú Asmuz Diverio (D, Univ. Federal do Rio Grande do Sul) > ============================================================= > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
