Oi, Adolfo. O primeiro livro podes obter em http://rapidshare.com/files/76664266/Logic_in_Computer_Science.PDF, enquanto que o segundo em http://gigapedia.org/v5/item:view_links?id=59396 ou http://rapidshare.com/files/66350272/AFICIL.rar.
Bom proveito, Arthur Buchsbaum De: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] Em nome de Adolfo Neto Enviada em: quinta-feira, 27 de novembro de 2008 14:38 Para: Joao Marcos Cc: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA Assunto: Re: [Logica-l] concurso informática UFRGS 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. 2nd edition. 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 University Press, 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_int erno.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
