Browse Items · The Source Code Museum

Bubble sort con APL

Programma per ordinare i numeri. In esso l'insieme di dati viene scansionato, ogni coppia di elementi adiacenti viene comparata ed i due elementi vengono invertiti di posizione se sono nell'ordine sbagliato. L'algoritmo continua nuovamente a…

Tags: APL, Bubble Sort, Codici, Kenneth Eugene Iverson, Ordinare Numeri

Codici Huffman

Codici Huffman, creati utilizzando simboli speciali per funzioni primitive. Gli implementatori dell'APL lo utilizzarono in sostituzione all'uso di frecce etichettate per i trasferimenti di controllo.

Tags: APL, Codici, Codici Huffman, Kenneth Eugene Iverson

Determinante di una matrice

Programma che calcola il determinate di una matrice, ossia un numero associato a ciascuna matrice quadrata, che ne esprime alcune proprietà algebriche e geometriche.

Tags: Algebra, APL, Codici, Determinante, Geometria, Kenneth Eugene Iverson, Matrice Quadrata

Operazione di accesso alla memoria

Descrizione di un'operazione di accesso alla memoria usando la notazione grafica per i trasferimenti di controllo

Tags: APL, Codici, Formalismo, Notazione Grafica, Operazioni di Accesso alla Memoria, Trasferimenti di Controllo

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]];…

Tags: AIM-012, Codici, Definire Funzioni, Funzionalità, John McCarthy, Lisp, Memorandum, RLE & MIT Computational Center

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…

Tags: AIM-014, Algoritmo, Calcolo Proporzionale, Codici, John McCarthy, Lisp, Memorandum, RLE & MIT Computational Center, Tautologie, Wang

Struttura ad Albero che descrive l'Espressione Logica -p -> q v -p

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

Tags: 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

Procedura che calcola i numeri di Fibonacci usando la Ricorsione

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

Tags: 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

Procedura SOLVE

Programma che implementa la procedura SOLVE

Tags: 1967, ALGOL, Cleve Moler, Codici, George Forsythe, Prentice-Hall, Procedura, SOLVE

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…

Tags: AIM-010, Codici, Derivazione Simbolica, K. Maling, Lisp, Memorandum, RLE & MIT Computational Center

Browse Items (12 total)