http://dainf.ct.utfpr.edu.br/wiki/index.php?action=history&feed=atom&title=Objetivos_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o 2026-04-19T12:43:00Z 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=Objetivos_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o&diff=5773&oldid=prev 2013-05-29T19:56:41Z

<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 19h56min 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>== Objetivos da disciplina [Lógica para Computação] ==</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>== Objetivos da disciplina <ins class="diffchange diffchange-inline">[</ins>[Lógica para Computação<ins class="diffchange diffchange-inline">]</ins>] ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&#160; &#160;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&#160; &#160;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Os objetivos da disciplina Lógica para Computação são &quot;desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica&quot;. &#160;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Os objetivos da disciplina Lógica para Computação são &quot;desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica&quot;. &#160;</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:5772:newid:5773 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Objetivos_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o&diff=5772&oldid=prev 2013-05-29T19:56: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 19h56min 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>== Objetivos da disciplina ==</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>== Objetivos da disciplina <ins class="diffchange diffchange-inline">[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;"><div>&#160; &#160;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&#160; &#160;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Os objetivos da disciplina Lógica para Computação são &quot;desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica&quot;. &#160;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Os objetivos da disciplina Lógica para Computação são &quot;desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica&quot;. &#160;</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Objetivos_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o&diff=5762&oldid=prev 2013-05-29T19:52:19Z

<p>Criou página com &#039;== Objetivos da disciplina == * Os objetivos da disciplina Lógica para Computação são &quot;desenvolver conceitos de lógica proposicional e de predicados, prova automática ...&#039;</p> <p><b>Nova página</b></p><div>== Objetivos da disciplina ==<br /> <br /> * Os objetivos da disciplina Lógica para Computação são &quot;desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica&quot;. <br /> <br /> * O papel desta disciplina é o de mostrar como uma lógica pode ser vista como uma linguagem de especificação tanto de sistemas como de suas propriedades. <br /> <br /> * Sendo assim, pode-se entender a disciplina como o estudo das lógicas proposicional e predicativa do ponto de vista da verificação de propriedades por elas expressas, permitindo que o aluno seja capaz de identificar o tipo de lógica que pode ser usada para especificar um sistema ou propriedade, bem como realizar a modelagem de sistemas e propriedades por meio da lógica escolhida.</div>

Adolfo