Aprende lógica computacional

Ferramentas gratuitas e interativas, sem conta, com o progresso guardado no teu browser.

• Learn Davis-Putnam SAT

  O algoritmo de Davis-Putnam (DPLL) para o problema SAT: cada propagação unitária, ramificação e conflito, passo a passo.

  Abrir ferramenta →

• Learn Natural Deduction

  Provas de dedução natural em notação de Fitch, para lógica proposicional: um editor linha a linha, provas geradas e explicadas passo a passo, uma lição e exercícios.

  Abrir ferramenta →