Browse Items (29 total)
Sort by:
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
Ricorsione
La ricorsione in programmazione è una tecnica che permette la definizione di una procedura utilizzando chiamate della procedura stessa, oltre che di altre procedure definite indipendentemente. È derivata dalle tecnica di definizione ricorsiva in…
Tags: AIM-010, ALGOL-60, Definizione, Fibonacci, Funzione, Lisp, Programmazione, Ricorsione
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
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
Peter Naur
Biografia di Peter Naur, informatico che ha contribuito alla realizzazione di ALGOL-60
Operazione di accesso alla memoria
Descrizione di un'operazione di accesso alla memoria usando la notazione grafica per i trasferimenti di controllo
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]];…