Browse Items (29 total)

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…

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

Biografia di Peter Naur, informatico che ha contribuito alla realizzazione di ALGOL-60

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…

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

La ricorsione in programmazione è una tecnica che permette la definizione di una procedura utilizzando chiamate della procedura stessa, oltre che di altre procedure definite indipendentemente. È derivata dalle tecnica di definizione ricorsiva in…

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