http://dainf.ct.utfpr.edu.br/wiki/index.php?action=history&feed=atom&title=Bibliografia_B%C3%A1sica_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o 2026-04-19T06:49:08Z Histórico de revisões para esta página nesta wiki MediaWiki 1.18.1 http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Bibliografia_B%C3%A1sica_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o&diff=5784&oldid=prev 2013-06-07T13:53:54Z

<p><span class="autocomment">Bibliografia Básica de Lógica para Computação</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 13h53min de 7 de junho de 2013</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 14:</td> <td colspan="2" class="diff-lineno">Linha 14:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* FAVERO, Eloi Luiz. '''Programação em Prolog: Uma Abordagem Prática.''' Disponível em:</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* FAVERO, Eloi Luiz. '''Programação em Prolog: Uma Abordagem Prática.''' Disponível em:</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&lt;http://<del class="diffchange diffchange-inline">www3</del>.ufpa.br/<del class="diffchange diffchange-inline">favero/</del>&gt;. Acesso em: 22 de fevereiro de 2011. Universidade Federal do Pará,</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>&lt;http://<ins class="diffchange diffchange-inline">favero</ins>.ufpa.br/<ins class="diffchange diffchange-inline">capmain2006.pdf</ins>&gt;. Acesso em: 22 de fevereiro de 2011. Universidade Federal do Pará,</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>2006.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>2006.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* ALENCAR FILHO, Edgard de. '''Iniciação à lógica matemática'''. São Paulo: Nobel, c1975. 203 p. ISBN</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* ALENCAR FILHO, Edgard de. '''Iniciação à lógica matemática'''. São Paulo: Nobel, c1975. 203 p. ISBN</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Bibliografia_B%C3%A1sica_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o&diff=5783&oldid=prev 2013-06-07T13:53:17Z

<p><span class="autocomment">Bibliografia Básica de Lógica para Computação</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 13h53min de 7 de junho de 2013</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 12:</td> <td colspan="2" class="diff-lineno">Linha 12:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* SOUZA, João N. de. '''Lógica para Ciência da Computação.''' Segunda edição. Rio de Janeiro: 2008.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* SOUZA, João N. de. '''Lógica para Ciência da Computação.''' Segunda edição. Rio de Janeiro: 2008.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>**&#160; Leia resenha ''bastante'' crítica de Walter Carnielli sobre a primeira edição deste livro publicada na revista Espiral: http://www.eca.usp.br/njr/espiral/noosfera18b.htm. Leia também, de Carnielli e Coniglio, uma crítica mais detalhada:&#160; '''A lógica e o consortio daemoniorum'''. Disponível em: &lt;ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/consortio-daemoniorum.pdf&gt;. Acesso em: 09 dez. 2008.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>**&#160; Leia resenha ''bastante'' crítica de Walter Carnielli sobre a primeira edição deste livro publicada na revista Espiral: http://www.eca.usp.br/njr/espiral/noosfera18b.htm. Leia também, de Carnielli e Coniglio, uma crítica mais detalhada:&#160; '''A lógica e o consortio daemoniorum'''. Disponível em: &lt;ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/consortio-daemoniorum.pdf&gt;. Acesso em: 09 dez. 2008.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">* FAVERO, Eloi Luiz. '''Programação em Prolog: Uma Abordagem Prática.''' Disponível em:</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&lt;http://www3.ufpa.br/favero/&gt;. Acesso em: 22 de fevereiro de 2011. Universidade Federal do Pará,</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">2006.</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">* ALENCAR FILHO, Edgard de. '''Iniciação à lógica matemática'''. São Paulo: Nobel, c1975. 203 p. ISBN</ins></div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Bibliografia_B%C3%A1sica_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o&diff=5776&oldid=prev 2013-05-29T19:57:29Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 19h57min de 29 de maio de 2013</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 1:</td> <td colspan="2" class="diff-lineno">Linha 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>= Bibliografia Básica =</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>= Bibliografia Básica <ins class="diffchange diffchange-inline">de [[Lógica para Computação]]</ins>=</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* SILVA, Flávio S. C. da; FINGER, Marcelo; MELO, Ana C. V. de. '''Lógica para Computação'''. São Paulo: Thomson Learning, 2006. &#160;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* SILVA, Flávio S. C. da; FINGER, Marcelo; MELO, Ana C. V. de. '''Lógica para Computação'''. São Paulo: Thomson Learning, 2006. &#160;</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Bibliografia_B%C3%A1sica_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o&diff=5769&oldid=prev 2013-05-29T19:54:50Z

<p>Criou página com &#039;= Bibliografia Básica = * SILVA, Flávio S. C. da; FINGER, Marcelo; MELO, Ana C. V. de. &#039;&#039;&#039;Lógica para Computação&#039;&#039;&#039;. São Paulo: Thomson Learning, 2006. ** Este livro c...&#039;</p> <p><b>Nova página</b></p><div>= Bibliografia Básica =<br /> <br /> * SILVA, Flávio S. C. da; FINGER, Marcelo; MELO, Ana C. V. de. '''Lógica para Computação'''. São Paulo: Thomson Learning, 2006. <br /> ** Este livro conquistou o [http://www.agencia.fapesp.br/materia/7716/especiais/questao-de-logica.htm primeiro lugar do Prêmio Jabuti 2007 na categoria Ciência Exatas, Tecnologia e Informática.]<br /> ** [[Respostas dos Exercícios do livro &quot;Lógica para Computação&quot;]]<br /> <br /> * HUTH, Michael; RYAN, Mark. '''Lógica em Ciência da Computação:''' modelagem e argumentação sobre sistemas. Segunda edição. Editora LTC: 2008. 326 p. <br /> ** Tradução de:<br /> *** HUTH, Michael; RYAN, Mark. '''Logic in Computer Science:''' modelling and reasoning about systems. Segunda edição. Cambridge University Press: 2004. 427 p. <br /> *** Página do livro original (contém errata): http://www.cs.bham.ac.uk/research/projects/lics/<br /> <br /> * SOUZA, João N. de. '''Lógica para Ciência da Computação.''' Segunda edição. Rio de Janeiro: 2008.<br /> ** Leia resenha ''bastante'' crítica de Walter Carnielli sobre a primeira edição deste livro publicada na revista Espiral: http://www.eca.usp.br/njr/espiral/noosfera18b.htm. Leia também, de Carnielli e Coniglio, uma crítica mais detalhada: '''A lógica e o consortio daemoniorum'''. Disponível em: &lt;ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/consortio-daemoniorum.pdf&gt;. Acesso em: 09 dez. 2008.</div>

Adolfo