User Tools

Site Tools


guia_de_estudo_para_a_prova_1_de_logica_para_computacao

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

guia_de_estudo_para_a_prova_1_de_logica_para_computacao [2019/08/15 13:56]
adolfont
guia_de_estudo_para_a_prova_1_de_logica_para_computacao [2019/09/05 13:14] (current)
adolfont [Como estudar]
Line 46: Line 46:
   * Lendo o livro de Huth-Ryan, capítulo 1 (árvores de análise só tem lá)   * Lendo o livro de Huth-Ryan, capítulo 1 (árvores de análise só tem lá)
   * Usando o Logicamente-UTFPR   * Usando o Logicamente-UTFPR
-  * Usando aplicativos/​sites que fazem tabela-verdade ​([[http://www.dainf.ct.utfpr.edu.br/~adolfo/​Logicamente/​TabelaVerdade/​Truth%20Table%20Generator.html|exemplo]])+  * Usando aplicativos/​sites que fazem tabela-verdade, como este [[http://bit.ly/Geradorv2|Gerador de Tabela Verdade de Michael Rieppel]].
   * Usando a implementação em Clojure/​Elixir de Sintaxe e Semântica de Lógica Clássica Proposicional   * Usando a implementação em Clojure/​Elixir de Sintaxe e Semântica de Lógica Clássica Proposicional
   * Usando o [[https://​www.wolframalpha.com/​input/?​i=p+and+q+implies+r|WolframAlpha]]   * Usando o [[https://​www.wolframalpha.com/​input/?​i=p+and+q+implies+r|WolframAlpha]]
guia_de_estudo_para_a_prova_1_de_logica_para_computacao.txt · Last modified: 2019/09/05 13:14 by adolfont