Browse Items (13 total)

Programma per ordinare i numeri. In esso l'insieme di dati viene scansionato, ogni coppia di elementi adiacenti viene comparata ed i due elementi vengono invertiti di posizione se sono nell'ordine sbagliato. L'algoritmo continua nuovamente a…

Codici Huffman, creati utilizzando simboli speciali per funzioni primitive. Gli implementatori dell'APL lo utilizzarono in sostituzione all'uso di frecce etichettate per i trasferimenti di controllo.

Programma che calcola il determinate di una matrice, ossia un numero associato a ciascuna matrice quadrata, che ne esprime alcune proprietà algebriche e geometriche.

Descrizione di un'operazione di accesso alla memoria usando la notazione grafica per i trasferimenti di controllo

L'obiettivo di questo memorandum è quello di aggiungere al linguaggio LISP una funzionalità che consente la definizione di funzioni da parte di programmi che includono sequenze di istruzioni di tipo Fortran, ad esempio Y= cons[ff[subst[A;y;z]];…

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…

https://www.stefanopenge.it/omeka/files/original/f81452a91738f3b05775a2c5691491fb.png
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

https://www.stefanopenge.it/omeka/files/original/593177df2e67035d187eb9bcdf1deb39.png
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

Programma che implementa la procedura SOLVE

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…
Output Formats

atom, dcmes-xml, json, omeka-xml, rss2