Browse Items (29 total)

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

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…

Programma che implementa la procedura SOLVE

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

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…

Biografia di Peter Naur, informatico che ha contribuito alla realizzazione di ALGOL-60

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

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

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…

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

atom, dcmes-xml, json, omeka-xml, rss2