Ok, pensei que seria óbvio, mas me enganei... É o único livro sobre Lógica com o selo da Sociedade Brasileira de Computação: http://www.elsevier.com.br/site/produtos/Detalhe-produto.aspx?tid=2925&seg=3&isbn=978-85-352-2961-5&origem=AUTOR&tit=L%C3%93GICA%20PARA%20CI%C3%8ANCIA%20DA%20COMPUTA%C3%87%C3%83O
A resenha que aponta vários defeitos da primeira edição do livro é esta: *"A lógica e o **consortio daemoniorum"* Resenha Crítica de "Lógica para Ciência da Computação Fundamentos de Linguagem, Semântica e Sistemas de Dedução", de João Nunes de Sousa (Editora Campus Ltda., 2002) Prof. Dr. Walter A. Carnielli Prof. Dr. Marcelo E. Coniglio IFCH e CLE - UNICAMP Arquivo para download: [PDF]<ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/consortio-daemoniorum.pdf> Obtida em http://www.cle.unicamp.br/principal/grupoglta/index.php?pag=publicacoes.php Uma versão menor foi publicada em outro lugar, mas já está fora do ar. 2012/6/18 Joao Marcos <botoc...@gmail.com> > Bem, Adolfo, eh dificil saber no que vc estah pensando, ou mesmo a > qual resenha critica vc estaria se referindo... > > Quanto ao livro de Marcelo & cia, parece que estah sendo mantido um > site com errata. > > Abraccos, JM > > On 6/18/12, Adolfo Neto <ado...@dainf.ct.utfpr.edu.br> wrote: > > Joao, > > > > Se for o livro que estou pensando, houve segunda edição e continuou > cheio > > de erros. > > > > Quanto ao outro livro do Flavio, Marcelo e Ana Cristina, que foi > discutido > > nesta lista (está nos arquivos em algum lugar), até onde sei não houve > > segunda edição. > > > > Adolfo > > > > 2012/6/16 Joao Marcos <botoc...@gmail.com> > > > >> > Depois vocês da Lógica ficam escrevendo resenhas criticando os erros > >> > dos > >> > livros de Lógica para Computação escritos por computeiros :) > >> > >> E este tipo de coisas é feito neste país? Bem, da última vez que li > >> um livro desses entreguei uma versão toda anotada diretamente ao > >> autor, para que fossem providenciadas correções para a segunda edição. > >> :-b (Não sei se isto aconteceu.) > >> > >> JM > >> > >> -- > >> http://sequiturquodlibet.googlepages.com/ > >> > > > > > > > > -- > > > > > > ================================================================== > > Adolfo Neto > > Assistant Professor - Federal University of Technology, Paraná > > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > > Twitter: http://twitter.com/adolfont > > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > > ================================================================== > > > > -------------------------------------------- > > Q: Why is this email three sentences or less? > > A: http://three.sentenc.es > > > > > -- > http://sequiturquodlibet.googlepages.com/ > -- ================================================================== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br ================================================================== -------------------------------------------- Q: Why is this email three sentences or less? A: http://three.sentenc.es _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
