http://dainf.ct.utfpr.edu.br/wiki/index.php?action=history&feed=atom&title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais 2026-04-19T04:52:10Z 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=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&diff=5832&oldid=prev 2013-08-12T14:03:44Z

<p><span class="autocomment">Charadas Lógicas</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 14h03min de 12 de agosto de 2013</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 35:</td> <td colspan="2" class="diff-lineno">Linha 35:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Charadas Lógicas ===</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Charadas Lógicas ===</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 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;">* Charadas Lógicas http://professoradolfo.blogspot.com.br/search/label/charadalogica</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Quem gosta de charadas lógicas, e quer entender melhor como resolvê-los usando Lógica Proposicional pode ler mais a respeito em:&#160; http://www.dimap.ufrn.br/~jmarcos/courses/LAaC/Trad-LCP/Smullyan_Cap3-7.pdf</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Quem gosta de charadas lógicas, e quer entender melhor como resolvê-los usando Lógica Proposicional pode ler mais a respeito em:&#160; http://www.dimap.ufrn.br/~jmarcos/courses/LAaC/Trad-LCP/Smullyan_Cap3-7.pdf</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>e conferir as soluções formalizadas em: http://www.dimap.ufrn.br/~jmarcos/courses/LAaC/Trad-LCP/Smullyan_Cap3-7_respostas.pdf</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>e conferir as soluções formalizadas em: http://www.dimap.ufrn.br/~jmarcos/courses/LAaC/Trad-LCP/Smullyan_Cap3-7_respostas.pdf</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2">&#160;</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>=== Lógica de Predicados ===</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Lógica de Predicados ===</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:5830:newid:5832 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&diff=5830&oldid=prev 2013-08-12T13:51:21Z

<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 13h51min de 12 de agosto de 2013</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 31:</td> <td colspan="2" class="diff-lineno">Linha 31:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[Frases sobre Lógica]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[Frases sobre Lógica]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[Disciplinas de Lógica no Brasil e no Mundo]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[Disciplinas de Lógica no Brasil e no Mundo]]</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;"></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;">=== Charadas Lógicas ===</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;">* Quem gosta de charadas lógicas, e quer entender melhor como resolvê-los usando Lógica Proposicional pode ler mais a respeito em:&#160; http://www.dimap.ufrn.br/~jmarcos/courses/LAaC/Trad-LCP/Smullyan_Cap3-7.pdf</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;">e conferir as soluções formalizadas em: http://www.dimap.ufrn.br/~jmarcos/courses/LAaC/Trad-LCP/Smullyan_Cap3-7_respostas.pdf</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 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>=== Lógica de Predicados ===</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Lógica de Predicados ===</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:5829:newid:5830 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&diff=5829&oldid=prev 2013-08-12T13:45:46Z

<p><span class="autocomment">Programação em Lógica</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 13h45min de 12 de agosto de 2013</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 51:</td> <td colspan="2" class="diff-lineno">Linha 51:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www3.ufpa.br/favero/ Livro de Eloi Favero (UFPA) sobre Prolog]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www3.ufpa.br/favero/ Livro de Eloi Favero (UFPA) sobre Prolog]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** [http://repositorium.sdum.uminho.pt/bitstream/1822/7780/1/exercicios-sbc.pdf Exercícios resolvidos em Prolog]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** [http://repositorium.sdum.uminho.pt/bitstream/1822/7780/1/exercicios-sbc.pdf Exercícios resolvidos em Prolog]</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;">* [http://stackoverflow.com/questions/5617126/mini-sudoku-solver-in-prolog-stops-partway-through Mini Sudoku em SWI Prolog]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* http://pt.wikipedia.org/wiki/Prolog</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* http://pt.wikipedia.org/wiki/Prolog</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* http://en.wikipedia.org/wiki/Prolog</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* http://en.wikipedia.org/wiki/Prolog</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:5781:newid:5829 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&diff=5781&oldid=prev 2013-05-29T19:58:31Z

<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 19h58min de 29 de maio de 2013</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 78:</td> <td colspan="2" class="diff-lineno">Linha 78:</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>* [http://www.theregister.co.uk/2011/12/20/bug_cause_aussie_a330_plunge/ Bug em avião]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.theregister.co.uk/2011/12/20/bug_cause_aussie_a330_plunge/ Bug em avião]</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;"></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;"></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;">Voltar a [[Lógica para Computação]]</ins></div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&diff=5704&oldid=prev 2012-04-27T13:22:17Z

<p><span class="autocomment">Links Diversos</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 13h22min de 27 de abril de 2012</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 39:</td> <td colspan="2" class="diff-lineno">Linha 39:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://labic.icmc.usp.br/didactic-material/logic/1aOrdemIntro.pdf Semântica de Lógica de Predicados]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://labic.icmc.usp.br/didactic-material/logic/1aOrdemIntro.pdf Semântica de Lógica de Predicados]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.marxists.org/reference/subject/philosophy/works/en/russell.htm The Philosophical Importance of Mathematical Logic, Bertrand Russell (1911)]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.marxists.org/reference/subject/philosophy/works/en/russell.htm The Philosophical Importance of Mathematical Logic, Bertrand Russell (1911)]</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;">=== Falácias Lógicas ===</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;">* [http://yourlogicalfallacyis.com/ Thou shalt not commit logical fallacies] - Um site que fala sobre falácias lógicas. Basta clicar numa figura que aparecerá a explicação da falácia.</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>== Material Adicional ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Material Adicional ==</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:5631:newid:5704 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&diff=5631&oldid=prev 2011-12-28T10:37:23Z

<p><span class="autocomment">Exemplos de especificação formal</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 10h37min de 28 de dezembro de 2011</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 70:</td> <td colspan="2" class="diff-lineno">Linha 70:</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>* [http://www.csr.ncl.ac.uk/vdm/examples/examples.html Exemplos de especificação formal em VDM-SL]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.csr.ncl.ac.uk/vdm/examples/examples.html Exemplos de especificação formal em VDM-SL]</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;">=== Razões para especificar formalmente ===</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;">* [http://www.theregister.co.uk/2011/12/20/bug_cause_aussie_a330_plunge/ Bug em avião]</ins></div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:5524:newid:5631 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&diff=5524&oldid=prev 2011-10-24T16:07:12Z

<p><span class="autocomment">Links Diversos</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 16h07min de 24 de outubro de 2011</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 26:</td> <td colspan="2" class="diff-lineno">Linha 26:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.las.pucpr.br/anderson/documentos_arquivos.htm Material da PUC-PR, Professor Anderson Wolupeck, procure por &quot;VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA&quot;]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.las.pucpr.br/anderson/documentos_arquivos.htm Material da PUC-PR, Professor Anderson Wolupeck, procure por &quot;VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA&quot;]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.inf.pucrs.br/~danielc/logica_material/Logica%20para%20Computacao%20-%20Anterior.pdf Introdução a Lógica Aplicada à Computação, Prof. Daniel Callegari]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.inf.pucrs.br/~danielc/logica_material/Logica%20para%20Computacao%20-%20Anterior.pdf Introdução a Lógica Aplicada à Computação, Prof. Daniel Callegari]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* [http://wwwexe.inf.ufsc.br/~arthur/index.php?page=material_didatico&amp;lang=pt]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* [http://wwwexe.inf.ufsc.br/~arthur/index.php?page=material_didatico&amp;lang=pt <ins class="diffchange diffchange-inline">Material Didático de Arthur Buchsbaum</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;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&diff=5523&oldid=prev 2011-10-24T16:06:43Z

<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 16h06min de 24 de outubro de 2011</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 26:</td> <td colspan="2" class="diff-lineno">Linha 26:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.las.pucpr.br/anderson/documentos_arquivos.htm Material da PUC-PR, Professor Anderson Wolupeck, procure por &quot;VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA&quot;]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.las.pucpr.br/anderson/documentos_arquivos.htm Material da PUC-PR, Professor Anderson Wolupeck, procure por &quot;VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA&quot;]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.inf.pucrs.br/~danielc/logica_material/Logica%20para%20Computacao%20-%20Anterior.pdf Introdução a Lógica Aplicada à Computação, Prof. Daniel Callegari]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.inf.pucrs.br/~danielc/logica_material/Logica%20para%20Computacao%20-%20Anterior.pdf Introdução a Lógica Aplicada à Computação, Prof. Daniel Callegari]</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;">* [http://wwwexe.inf.ufsc.br/~arthur/index.php?page=material_didatico&amp;lang=pt]</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;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&diff=5256&oldid=prev 2011-04-15T17:59:33Z

<p><span class="autocomment">Links Diversos</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 17h59min de 15 de abril de 2011</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 19:</td> <td colspan="2" class="diff-lineno">Linha 19:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* PEREIRA, Silvio do Lago. Lógica de Predicados. Disponível em: &lt;http://www.ime.usp.br/~slago/IA-logicaDePredicados.pdf&gt;. Acesso em: 12 out. 2010.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* PEREIRA, Silvio do Lago. Lógica de Predicados. Disponível em: &lt;http://www.ime.usp.br/~slago/IA-logicaDePredicados.pdf&gt;. Acesso em: 12 out. 2010.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* KOWALSKI, Robert. '''How to be Artificially Intelligent – the Logical Way.''' Disponível em: &lt;http://www.doc.ic.ac.uk/~rak/&gt;. Acesso em: 09 dez. 2008.</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* KOWALSKI, Robert. '''How to be Artificially Intelligent – the Logical Way.''' Disponível em: &lt;http://www.doc.ic.ac.uk/~rak/&gt;. Acesso em: 09 dez. 2008.</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* http://en.wikipedia.org/wiki/Automated_theorem_proving</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* <ins class="diffchange diffchange-inline">[</ins>http://en.wikipedia.org/wiki/Automated_theorem_proving <ins class="diffchange diffchange-inline">Automated theorem proving na Wikipedia]</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* http://pt.wikipedia.org/wiki/L%C3%B3gica</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* <ins class="diffchange diffchange-inline">[</ins>http://pt.wikipedia.org/wiki/L%C3%B3gica <ins class="diffchange diffchange-inline">Lógica na Wikipedia]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** Atenção especial a http://pt.wikipedia.org/wiki/L%C3%B3gica#Testes_de_L.C3.B3gica</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** Atenção especial a http://pt.wikipedia.org/wiki/L%C3%B3gica#Testes_de_L.C3.B3gica</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://criticanarede.com/html/fil_regras.html Regras de dedução natural, Desidério Murcho]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://criticanarede.com/html/fil_regras.html Regras de dedução natural, Desidério Murcho]</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&diff=5255&oldid=prev 2011-04-15T17:58:48Z

<p><span class="autocomment">Links Diversos</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 17h58min de 15 de abril de 2011</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 25:</td> <td colspan="2" class="diff-lineno">Linha 25:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www4.pucsp.br/~logica/ NOÇÕES DE LÓGICA MATEMÁTICA, CELINA A.A.P. ABAR]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www4.pucsp.br/~logica/ NOÇÕES DE LÓGICA MATEMÁTICA, CELINA A.A.P. ABAR]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.las.pucpr.br/anderson/documentos_arquivos.htm Material da PUC-PR, Professor Anderson Wolupeck, procure por &quot;VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA&quot;]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.las.pucpr.br/anderson/documentos_arquivos.htm Material da PUC-PR, Professor Anderson Wolupeck, procure por &quot;VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA&quot;]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* http://<del class="diffchange diffchange-inline">abelcorreadias</del>.<del class="diffchange diffchange-inline">spaces</del>.<del class="diffchange diffchange-inline">live</del>.<del class="diffchange diffchange-inline">com</del>/<del class="diffchange diffchange-inline">blog</del>/<del class="diffchange diffchange-inline">cns!ACECDBB1B2BB4EED!173</del>.<del class="diffchange diffchange-inline">entry</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* <ins class="diffchange diffchange-inline">[</ins>http://<ins class="diffchange diffchange-inline">www</ins>.<ins class="diffchange diffchange-inline">inf</ins>.<ins class="diffchange diffchange-inline">pucrs</ins>.<ins class="diffchange diffchange-inline">br</ins>/<ins class="diffchange diffchange-inline">~danielc</ins>/<ins class="diffchange diffchange-inline">logica_material/Logica%20para%20Computacao%20-%20Anterior.pdf Introdução a Lógica Aplicada à Computação, Prof</ins>. <ins class="diffchange diffchange-inline">Daniel Callegari]</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;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> </table>

Adolfo