Questo memorandum descrive un programma LISP per decidere se un'espressione nel calcolo proposizionale è una tautologia secondo l'algoritmo di Wang. L'algoritmo di Wang è un eccellente esempio del tipo di algoritmo che è convenientemente programmato…
L’ ALGOrithmic Language (ALGOL) è un linguaggio di alto livello progettato per sviluppare calcoli scientifici e superare delle restrizioni di FORTRAN. ALGOL è considerato il progenitore di una grande famiglia di linguaggi di successo, dal Pascal al…
Struttura ad albero che descrive l'espressione logica -p -> q v -p, ossia ((not-p) implica (q or not-p)). Essa consiste negli elementi -p, ->, q, V, -p, indicati con i rettangoli
Procedura che calcola i numeri di Fibonacci, ossia una successione tale che ogni numero è la somma dei due precedenti, partendo da 0 e 1, in maniera ricorsiva
Questo programma è un sottoprodotto del linguaggio macchina. È stato scritto perché il processo di differenziazione e in una certa misura quello di semplificazione si è rivelato molto convenientemente esprimibile in LISP. Ci sono due ragioni…
Python è stato definito un linguaggio di programmazione poetico. Nick Montfort ha pensato, infatti, di provare a scrivere poesie casuali con esso.
Per ottimizzare la scrittura di poesia computazionale, si inizia creando elenchi di diversi tempi e…