2 10 29 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Codici Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Memorandum AIM-014 Subject The topic of the resource Implementazione in una versione preliminare di LISP di un algoritmo per la validità di formule proposizionali Description An account of the resource 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. Creator An entity primarily responsible for making the resource <a href="https://museumofcode.net/items/show/5"> John McCarthy </a> Source A related resource from which the described resource is derived <a href="http://www.bitsavers.org/pdf/mit/ai/aim/AIM-014.pdf"> AIM-014.pdf</a> Publisher An entity responsible for making the resource available RLE & MIT Computational Center Rights Information about rights held in and over the resource RLE & MIT Computational Center Format The file format, physical medium, or dimensions of the resource PDF Language A language of the resource English Type The nature or genre of the resource Text Identifier An unambiguous reference to the resource within a given context AIM-014 AIM-014 Algoritmo Calcolo Proporzionale Codici John McCarthy Lisp Memorandum RLE & MIT Computational Center Tautologie Wang Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Linguaggi Software A computer program in source or compiled form. Examples include a C source file, MS-Windows .exe executable, or Perl script. Periodo di utilizzo Il periodo di utilizzo di una tecnologia hardware o software, espresso come data di inizio e data di fine utilizzo. Se la seconda manca, s'intende che sia ancora in uso 1958 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Il linguaggio ALGOL Subject The topic of the resource Linguaggio di programmazione Description An account of the resource 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. Creator An entity primarily responsible for making the resource <a> John Warner Backus </a> Peter Naur Date A point or period of time associated with an event in the lifecycle of the resource 1958 Type The nature or genre of the resource Programming Language 1958 ALG0L-68 ALGOL ALGOL-58 ALGOL-60 Alto livello John Warner Backus Peter Naur Programming Language https://www.museumofcode.net/files/original/779e9e82484a70016ccb34205cbb6f0d.png 6bef86472196f1878e64006139d0ed75 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Codici Still Image A static visual representation. Examples include paintings, drawings, graphic designs, plans and maps. Recommended best practice is to assign the type Text to images of textual materials. Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Struttura ad Albero che descrive l'Espressione Logica -p -&gt; q v -p Subject The topic of the resource Utilizzo di una struttura ad albero per descrivere un'espressione logica Description An account of the resource 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 Creator An entity primarily responsible for making the resource Allen Newell Herbert A. Simon Source A related resource from which the described resource is derived The Logic Theory Machine A Complex Information Processing System Publisher An entity responsible for making the resource available The RAND Corporation The Carnegie Institute of Technology Date A point or period of time associated with an event in the lifecycle of the resource 1956 Rights Information about rights held in and over the resource The RAND Corporation The Carnegie Institute of Technology Format The file format, physical medium, or dimensions of the resource Png Language A language of the resource English Type The nature or genre of the resource Image Identifier An unambiguous reference to the resource within a given context Struttura Albero Espressione Logica 1956 Allen Newell Codici Espressione Logica Herbert A. Simon Struttura ad Albero The Carnegie Institute of Technology The Logic Theory Machine A Complex Information Processing System The RAND Corporation https://www.museumofcode.net/files/original/ba30abc7a55c58db68939278ed3cc215.png 3f8872db48dd3861a1ac4b9d7f3598cf Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Codici Still Image A static visual representation. Examples include paintings, drawings, graphic designs, plans and maps. Recommended best practice is to assign the type Text to images of textual materials. Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Procedura che calcola i numeri di Fibonacci usando la Ricorsione Subject The topic of the resource Procedura che usa la ricorsione Description An account of the resource 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 Creator An entity primarily responsible for making the resource Gauthier Van Den Hove Source A related resource from which the described resource is derived Section A: Computer Science Theory, Methods and Tools The Computer Journal, Vol. 58 Publisher An entity responsible for making the resource available The British Computer Society Date A point or period of time associated with an event in the lifecycle of the resource 11 Dicembre 2014 Novembre 2015 Rights Information about rights held in and over the resource The British Computer Society Format The file format, physical medium, or dimensions of the resource Png Language A language of the resource English Type The nature or genre of the resource Image Identifier An unambiguous reference to the resource within a given context Fibonacci Ricorsione 2014 2015 ALGOL Codici Fibonacci Gauthier Van Den Hove Methods and Tools The Computer Journal Procedura Ricorsione Section A: Computer Science Theory Vol. 58 The British Computer Society Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Codici Still Image A static visual representation. Examples include paintings, drawings, graphic designs, plans and maps. Recommended best practice is to assign the type Text to images of textual materials. Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Procedura SOLVE Subject The topic of the resource Procedura che utilizza il linguaggio di programmazione ALGOL Description An account of the resource Programma che implementa la procedura SOLVE Creator An entity primarily responsible for making the resource George Forsythe Cleve Moler Source A related resource from which the described resource is derived <a href="https://blogs.mathworks.com/images/cleve/Solve.jpeg"> Solve.jpeg</a> Publisher An entity responsible for making the resource available Prentice-Hall Date A point or period of time associated with an event in the lifecycle of the resource 1967 Rights Information about rights held in and over the resource Prentice-Hall Format The file format, physical medium, or dimensions of the resource Jpeg Type The nature or genre of the resource Image Identifier An unambiguous reference to the resource within a given context Solve 1967 ALGOL Cleve Moler Codici George Forsythe Prentice-Hall Procedura SOLVE Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Persone Person An individual. Birth Date 3 dicembre 1924 Birthplace Philadelphia Death Date 17 marzo 2007 Occupation Informatico Name The name of a person, usually expressed as first name and family name (e.g. Albert Einstein). John Warner Backus Biographical Text <a href="https://www.ibm.com/ibm/history/exhibits/builders/builders_backus.html"> Biografia John Warner Backus</a> Bibliography <a href="https://amturing.acm.org/bib/backus_0703524.cfm"> Bibliografia John Warner Backus</a> Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource John Warner Backus Subject The topic of the resource John Warner Backus Description An account of the resource Notizie biografiche su John Warner Backus, sviluppatore del metodo di descrizione dei linguaggi di programmazione per l'ALGOL-58 Source A related resource from which the described resource is derived <a href="https://www.ibm.com/ibm/history/exhibits/builders/builders_backus.html"> www.ibm.com</a> Format The file format, physical medium, or dimensions of the resource Html Language A language of the resource English Type The nature or genre of the resource Text Identifier An unambiguous reference to the resource within a given context John Warner Backus Creator An entity primarily responsible for making the resource IBM Archives Publisher An entity responsible for making the resource available <a href="https://www.ibm.com/ibm/history"> IBM</a> Contributor An entity responsible for making contributions to the resource <a href="https://www.ibm.com/ibm/history/exhibits/builders/builders_backus.html"> John Warner Backus</a> Rights Information about rights held in and over the resource <a href="https://www.ibm.com/ibm/history/request2/terms.html"> Termini e condizioni</a> 17 marzo 2007 3 dicembre 1924 ALGOL-58 Biografia Informatico John Warner Backus Metodo di Descrizione dei Linguaggi di Programmazione Philadelphia Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Manuali Text A resource consisting primarily of words for reading. Examples include books, letters, dissertations, poems, newspapers, articles, archives of mailing lists. Note that facsimiles or images of texts are still of the genre Text. Edition The edition of a published text. Prima Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Manuale ALGOL Subject The topic of the resource Linguaggio ALGOL Description An account of the resource Manuale di ALGOL-20: si tratta di una descrizione della realizzazione di ALGOL, così come è stato implementato al Carnegie Institute of Technology. Creator An entity primarily responsible for making the resource Janet W. Fierst David M. Blocher Robert T. Braden Arthur Evans Jr. Richard B. Grove Source A related resource from which the described resource is derived <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> Publisher An entity responsible for making the resource available Carnegie Institute of Technology Date A point or period of time associated with an event in the lifecycle of the resource 1965 Rights Information about rights held in and over the resource Carnegie Institute of Technology Format The file format, physical medium, or dimensions of the resource PDF Language A language of the resource English Type The nature or genre of the resource Text Identifier An unambiguous reference to the resource within a given context Manuale ALGOL 1965 ALGOL ALGOL-20 Arthur Evans Jr. Carnegie Institute of Technology David M. Blocher Janet W. Fierst Manuale Prima Edizione Richard B. Grove Robert T. Braden Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Codici Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Memorandum AIM-010 Subject The topic of the resource Derivazione simbolica in una versione preliminare di LISP Description An account of the resource 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. Creator An entity primarily responsible for making the resource K. Maling Source A related resource from which the described resource is derived <a href="http://www.bitsavers.org/pdf/mit/ai/aim/AIM-010.pdf"> AIM-010.pdf</a> Publisher An entity responsible for making the resource available RLE & MIT Computational Center Rights Information about rights held in and over the resource RLE & MIT Computational Center Format The file format, physical medium, or dimensions of the resource PDF Language A language of the resource English Type The nature or genre of the resource Text Identifier An unambiguous reference to the resource within a given context AIM-010 AIM-010 Codici Derivazione Simbolica K. Maling Lisp Memorandum RLE & MIT Computational Center Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Linguaggi Text A resource consisting primarily of words for reading. Examples include books, letters, dissertations, poems, newspapers, articles, archives of mailing lists. Note that facsimiles or images of texts are still of the genre Text. Original Format The type of object, such as painting, sculpture, paper, photo, and additional data articolo Edition The edition of a published text. first Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource AI and the Origins of the Functional Programming Language Style Subject The topic of the resource Storia del Lisp Description An account of the resource Presentazione e analisi dello sviluppo storico del linguaggio di programmazione Lisp Creator An entity primarily responsible for making the resource Mark Priestley Source A related resource from which the described resource is derived <a href="https://link.springer.com/article/10.1007/s11023-017-9432-7"> link.springer.com</a> Publisher An entity responsible for making the resource available Mind & Machine Springer Date A point or period of time associated with an event in the lifecycle of the resource 1950 1970 Format The file format, physical medium, or dimensions of the resource PDF Language A language of the resource English Type The nature or genre of the resource articolo Identifier An unambiguous reference to the resource within a given context DOI 10.1007/s11023-017-9432-7 Articolo Linguaggi dell'IA Lisp Mark Priestley Storia del Lisp Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Codici Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Poesie computazionali in Python Subject The topic of the resource Programmi in Python scritti da Nick Montfort Description An account of the resource 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. Creator An entity primarily responsible for making the resource Nick Montfort Source A related resource from which the described resource is derived <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> Format The file format, physical medium, or dimensions of the resource 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) Language A language of the resource English Identifier An unambiguous reference to the resource within a given context Poetry Type The nature or genre of the resource Sorgente di programma Python Date A point or period of time associated with an event in the lifecycle of the resource 2013 2014 2015 2016 2018 Rights Information about rights held in and over the resource 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. Nick Montfort Poesia Computazionale Python