http://dainf.ct.utfpr.edu.br/wiki/index.php?action=history&feed=atom&title=Compet%C3%AAncias_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o 2026-04-19T07:58:20Z 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=Compet%C3%AAncias_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o&diff=5774&oldid=prev 2013-05-29T19:57:12Z

<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>=== <del class="diffchange diffchange-inline">Em </del>construção ===</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>=== <ins class="diffchange diffchange-inline">Competências esperadas ao fim da discipĺina [[Lógica para Computação]] (em </ins>construçã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;"></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>Ao final da disciplina o aluno deverá será capaz de:</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>Ao final da disciplina o aluno deverá será capaz de:</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Compet%C3%AAncias_da_disciplina_L%C3%B3gica_para_Computa%C3%A7%C3%A3o&diff=5764&oldid=prev 2013-05-29T19:53:17Z

<p>Criou página com &#039;=== Em construção === Ao final da disciplina o aluno deverá será capaz de: * Sintaxe e Semântica de Lógica Proposicional * Sintaxe de Lógica de Predicados * Algum mé...&#039;</p> <p><b>Nova página</b></p><div>=== Em construção ===<br /> <br /> Ao final da disciplina o aluno deverá será capaz de:<br /> <br /> * Sintaxe e Semântica de Lógica Proposicional<br /> * Sintaxe de Lógica de Predicados<br /> * Algum método de demonstração (Tablôs Analíticos e/ou KE) para Lógica Proposicional<br /> **(os três itens acima são assuntos da prova 1 - serão cobrados indiretamente)<br /> <br /> * Algum método de demonstração (Tablôs Analíticos e/ou KE) para Lógica de Predicados<br /> ** saber fazer demonstrações de sequentes da lógica de predicados usando o sistema KE<br /> <br /> * Substituição/Unificação (ver Apostila)<br /> ** conceitos (substituição, unificação, unificador mais geral, etc.)<br /> ** saber executar o Algoritmo de Unificação<br /> <br /> * Semântica de Lógica de Predicados (Cap.2 HuthRyan)<br /> ** conceitos (modelo, tabela/contexto, etc.)<br /> ** saber construir um modelo para uma fórmula/sequente<br /> ** saber demonstrar se um modelo satisfaz/falsifica/valida uma fórmula/sequente<br /> <br /> * Formas Normais (Cap.3 de SFM06):<br /> ** saber obter a forma normal conjuntiva/disjuntiva de uma fórmula, justificando cada passo.<br /> ** conceitos<br /> <br /> Prolog (livro do Eloi Favero):<br /> ** Saber qual vai ser a resposta do Prolog a determinadas consultas (com uso, inclusive, de assert e retract) (ex.: mini-prova 2 do BSI)<br /> ** Saber escrever programinhas do nível de complexidade dos vistos em sala de aula (ex.: questões genealógicas) exceto Torre de Hanoi<br /> ** conceitos<br /> <br /> * Especificação Formal (Cap.6 de SFM06):<br /> <br /> ** Saber escrever uma especificação de uma operação (ex. Copa dp Brasil, Jogo da Velha, Ordenações de Vetores)<br /> ** conceitos<br /> <br /> * Verificação Formal (Cap.6 de SFM06):<br /> <br /> ** ideia geral de todos os conceitos (sistema, regras, correção, completude, etc).<br /> ** Correção Parcial<br /> ** Até antes de While Parcial<br /> ** saber escrever uma demonstração em formato de tabela<br /> ** While Parcial<br /> ** (NÃO) saber escrever uma demonstração em formato de tabela<br /> ** saber ver uma demonstração em formato de tabela e dizer se ela está correta ou não<br /> ** Correção Total<br /> ** While Total<br /> **(NÃO) saber ver uma demonstração em formato de tabela e dizer se ela está correta ou não<br /> ** NÃO exigirei que saiba escrever uma demonstração</div>

Adolfo