Browse Items (29 total)
Sort by:
Memorandum AIM-014
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…
Il linguaggio ALGOL
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…
Struttura ad Albero che descrive l'Espressione Logica -p -> q v -p
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 usando 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
Procedura SOLVE
Programma che implementa la procedura SOLVE
Tags: 1967, ALGOL, Cleve Moler, Codici, George Forsythe, Prentice-Hall, Procedura, SOLVE
John Warner Backus
Notizie biografiche su John Warner Backus, sviluppatore del metodo di descrizione dei linguaggi di programmazione per l'ALGOL-58
Manuale ALGOL
Manuale di ALGOL-20: si tratta di una descrizione della realizzazione di ALGOL, così come è stato implementato al Carnegie Institute of Technology.
Memorandum AIM-010
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…
AI and the Origins of the Functional Programming Language Style
Presentazione e analisi dello sviluppo storico del linguaggio di programmazione Lisp
Poesie computazionali in Python
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…
Per ottimizzare la scrittura di poesia computazionale, si inizia creando elenchi di diversi tempi e…
Tags: Nick Montfort, Poesia Computazionale, Python
