Browse Items (12 total)

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

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…

Programma che implementa la procedura SOLVE

Programma che calcola i numeri di Fibonacci, ossia una successione tale che ogni numero è la somma dei due precedenti, partendo da 0 e 1

Descrizione di un'operazione di accesso alla memoria usando la notazione grafica 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.

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

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…