Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
#+TITLE: Lógica Proprocional e Matemática Discreta
#+AUTHOR: Pedro Fernandes
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.315s*
-- *user 0m1.138s*
-- *sys 0m0.120s*
- *Maquína: Intel Pentium T4440*
- *Versão Lisp: SBCL 1.4.8*
Código otimizado basica. Resultado em "relation.txt"