Browse Items (6 total)

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

Biografia di John McCarthy, ideatore della famiglia di linguaggi funzionali LISP

https://www.stefanopenge.it/omeka/files/original/7cdd1c2a8be5cc044d01419bcdf3cfad.jpeg
Il termine LISP designa una famiglia di linguaggi funzionali ideati a partire dal 1958 su iniziativa di John McCarthy.

Seconda edizione del manuale di programmazione del linguaggio LISP nella versione 1.5
Output Formats

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