Browse Items · The Source Code Museum

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

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

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

Numeri di Fibonacci

Programma che calcola i numeri di Fibonacci, ossia una successione tale che ogni numero è la somma dei due precedenti, partendo da 0 e 1

Tags: ALGOL, Codici, Fibonacci, S-ALGOL

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

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

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

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

Browse Items (12 total)