Browse Items (29 total)
Sort by:
AI and the Origins of the Functional Programming Language Style
Presentazione e analisi dello sviluppo storico del linguaggio di programmazione Lisp
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…
Manuale ALGOL
Manuale di ALGOL-20: si tratta di una descrizione della realizzazione di ALGOL, così come è stato implementato al Carnegie Institute of Technology.
John Warner Backus
Notizie biografiche su John Warner Backus, sviluppatore del metodo di descrizione dei linguaggi di programmazione per l'ALGOL-58
Procedura SOLVE
Programma che implementa la procedura SOLVE
Tags: 1967, ALGOL, Cleve Moler, Codici, George Forsythe, Prentice-Hall, Procedura, SOLVE
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
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
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…
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…
Memorandum AIM-012
L'obiettivo di questo memorandum è quello di aggiungere al linguaggio LISP una funzionalità che consente la definizione di funzioni da parte di programmi che includono sequenze di istruzioni di tipo Fortran, ad esempio Y= cons[ff[subst[A;y;z]];…