Skip to content

Latest commit

 

History

History
20 lines (11 loc) · 472 Bytes

README.org

File metadata and controls

20 lines (11 loc) · 472 Bytes

Lógica Proprocional e Matemática Discreta

O código em Racket (lógica.rkt) é um interpedador de expressões lógicas.

Já o em Common Lisp (relation.lisp) é um classsifcador de relação de um conjunto A={1,2,3,4}.

  • Time executer:

    real 0m1.315suser 0m1.138ssys 0m0.120s

  • Maquína: Intel Pentium T4440
  • Versão Lisp: SBCL 1.4.8

Código otimizado basica. Resultado em “relation.txt”