Memorandum AIM-014
Implementazione in una versione preliminare di LISP di un algoritmo per la validità di formule proposizionali
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 in LISP, e lo scopo principale di questo memorandum è aiutare gli aspiranti utenti di LISP a vedere come usarlo.
<a href="https://museumofcode.net/items/show/5"> John McCarthy </a>
<a href="http://www.bitsavers.org/pdf/mit/ai/aim/AIM-014.pdf">
AIM-014.pdf</a>
RLE & MIT Computational Center
RLE & MIT Computational Center
PDF
English
Text
AIM-014
Il linguaggio ALGOL
Linguaggio di programmazione
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 C. Esistono tre versioni ufficiali di ALGOL: ALGOL-58, ALGOL-60 ed ALGOL-68.
<a> John Warner Backus </a>
Peter Naur
1958
Programming Language
Struttura ad Albero che descrive l'Espressione Logica -p -> q v -p
Utilizzo di una struttura ad albero per descrivere un'espressione logica
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
Allen Newell
Herbert A. Simon
The Logic Theory Machine A Complex Information Processing System
The RAND Corporation
The Carnegie Institute of Technology
1956
The RAND Corporation
The Carnegie Institute of Technology
Png
English
Image
Struttura Albero Espressione Logica
Procedura che calcola i numeri di Fibonacci usando la Ricorsione
Procedura che usa la ricorsione
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
Gauthier Van Den Hove
Section A: Computer Science Theory, Methods and Tools The Computer Journal, Vol. 58
The British Computer Society
11 Dicembre 2014
Novembre 2015
The British Computer Society
Png
English
Image
Fibonacci Ricorsione
Procedura SOLVE
Procedura che utilizza il linguaggio di programmazione ALGOL
Programma che implementa la procedura SOLVE
George Forsythe
Cleve Moler
<a href="https://blogs.mathworks.com/images/cleve/Solve.jpeg"> Solve.jpeg</a>
Prentice-Hall
1967
Prentice-Hall
Jpeg
Image
Solve
John Warner Backus
John Warner Backus
Notizie biografiche su John Warner Backus, sviluppatore del metodo di descrizione dei linguaggi di programmazione per l'ALGOL-58
IBM Archives
<a href="https://www.ibm.com/ibm/history/exhibits/builders/builders_backus.html">
www.ibm.com</a>
<a href="https://www.ibm.com/ibm/history">
IBM</a>
<a href="https://www.ibm.com/ibm/history/exhibits/builders/builders_backus.html">
John Warner Backus</a>
<a href="https://www.ibm.com/ibm/history/request2/terms.html">
Termini e condizioni</a>
Html
English
Text
John Warner Backus
Manuale ALGOL
Linguaggio ALGOL
Manuale di ALGOL-20: si tratta di una descrizione della realizzazione di ALGOL, così come è stato implementato al Carnegie Institute of Technology.
Janet W. Fierst
David M. Blocher
Robert T. Braden
Arthur Evans Jr.
Richard B. Grove
<a href="http://www.softwarepreservation.org/projects/ALGOL/manual/1965%20ALGOL-20%20A%20Language%20Manual%2C%20Fierst%20et%20al.pdf">
1965 ALGOL-20 A Language Manual, Fierst et al.pdf</a>
Carnegie Institute of Technology
1965
Carnegie Institute of Technology
PDF
English
Text
Manuale ALGOL
Memorandum AIM-010
Derivazione simbolica in una versione preliminare di LISP
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 principali per questo: una è il fatto che le espressioni algebriche sono più facilmente rappresentabili in un computer per mezzo di liste e l'altra è la capacità del LISP di descrivere processi ricorsivi.
K. Maling
<a href="http://www.bitsavers.org/pdf/mit/ai/aim/AIM-010.pdf">
AIM-010.pdf</a>
RLE & MIT Computational Center
RLE & MIT Computational Center
PDF
English
Text
AIM-010
AI and the Origins of the Functional Programming
Language Style
Storia del Lisp
Presentazione e analisi dello sviluppo storico del linguaggio di programmazione Lisp
Mark Priestley
<a href="https://link.springer.com/article/10.1007/s11023-017-9432-7">
link.springer.com</a>
Mind & Machine
Springer
1950
1970
PDF
English
articolo
DOI 10.1007/s11023-017-9432-7
Poesie computazionali in Python
Programmi in Python scritti da Nick Montfort
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 tipi verbali (transitivo/intransitivo) e suddividendo i nomi in soggetti e oggetti per consentire la costruzione di frasi più complesse. I seguenti programmi sono esempi di poesia computazionale scritti da Nick Montfort.
Nick Montfort
<a href="https://nickm.com"> nickm.com</a>
<a href="https://nickm.com/code/abra.py"> abra.py</a>
<a href="https://nickm.com/code/expo.py">
expo.py</a>
<a href="https://nickm.com/code/i_am_that_i_am.py">
i_am_that_i_am.py</a>
<a href="https://nickm.com/code/matthew.py">
matthew.py</a>
<a href="https://nickm.com/code/megawatt.py">
megawatt.py</a>
<a href="https://nickm.com/code/through_the_park.py">
through_the_park.py</a>
<a href="https://nickm.com/code/world_clock.py">
world_clock.py</a>
2013
2014
2015
2016
2018
Copyright (c) Nick Montfort <nickm@nickm.com>
Elenco dei trigrammi dal testo di Abra (abra.py) :
Copyright (c) 2016 Amaranth Borsuk, Kate Durbin e Ian Hatcher
La copia e la distribuzione di questi file, con o senza modifiche, sono consentite con qualsiasi mezzo senza royalty a condizione che l'avviso di copyright e
questo avviso siano conservati. Questi file vengono offerti così come sono, senza alcuna garanzia.
abra.py (171 kB)
expo.py (7 kB)
i_am_that_i_am.py (1 kB)
matthew.py (4 kB)
megawatt.py (13 kB)
through_the_park.py (2 kB)
world_clock.py (8 kB)
English
Sorgente di programma Python
Poetry