2008/11/27 Adolfo Neto <[EMAIL PROTECTED]>: > 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?
Com exceção dos livros de Gabbay e Papadimitriou (já encomendados), temos presentemente todos os demais livros da bibliografia aqui nas estantes das nossas bibliotecas (http://spreadsheets.google.com/pub?key=pRtVBAxWfG9fbltRKat8KUA) da UFRN. O livro de Huth & Ryan parece estar se tornando popular na área de computação. O recém divulgado sistema on-line ProofWeb (http://prover.cs.ru.nl/login.php) para ensinar lógica e usar assistentes de demonstração está baseado no sistema dedutivo apresentado neste livro (um tipo particular de dedução natural à la Fitch), e montado sobre o Coq. Usei este livro no semestre passado em um curso de Lógica para alunos do nosso mestrado (http://groups.google.com.br/group/20081-logica-PPgSC/web/main-page--dimap), e deu para formar uma opinião (não muito boa) a respeito. Trata-se de um livro interessante para alunos de computação por buscar ensinar de forma acessível não apenas lógica clássica proposicional e de primeira ordem, mas também por dar boas noções de lógica temporal aplicada à verificação formal, de lógica de Hoare aplicada à verificação de programas, de lógicas modais aplicadas (mas não muito) a sistemas multi-agentes, e de diagramas de decisão binária. Minha principal reclamação com relação a este livro é que ele é "informal demais" para quem tem um interesse derivado da lógica matemática propriamente dita (ah que saudades das definições bem escritas e dos teoremas bem demonstrados!), e contém *muitos* errinhos que atrapalham um pouco a leitura. O site oficial é http://www.cs.bham.ac.uk/research/projects/lics/. Se você tiver interesse, tenho cá as "sample solutions" de alguns exercícios que me foram enviadas pelos autores, bem como as soluções de vários outros exercícios (nem todas muito boas) produzidas pelos meus alunos. O livro de Shawn Hedman, por outro lado, me parece substancialmente melhor, mais bem escrito, e também mais completo de um ponto de vista estritamente lógico. Estou com uma cópia dele há alguns meses sobre a minha mesa, mas infelizmente não tive tempo ainda de estudá-lo em detalhe, ou usá-lo em sala de aula. :-( Infelizmente, colecionar livros (hoje uma tarefa cada vez mais fácil) não implica necessariamente saber dizer o que está dentro deles! Abraços, JM > * 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. -- My homepage: http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
