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…

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…

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

Notizie biografiche su John Warner Backus, sviluppatore del metodo di descrizione dei linguaggi di programmazione per l'ALGOL-58

Manuale di ALGOL-20: si tratta di una descrizione della realizzazione di ALGOL, così come è stato implementato al Carnegie Institute of Technology.

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…

Presentazione e analisi dello sviluppo storico del linguaggio di programmazione Lisp

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

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