(v. calcolatrici, macchine, VIII, p. 352; App. I, p. 339; II, I, p. 482; III, I, p. 281; elaboratori elettronici, IV, I, p. 650)
La diffusione e lo sviluppo degli e. nell'arco di tempo che va dalla metà [...] oltre il livello di prototipo. Fra quelli del primo tipo, gli e. orientati verso il LISP (un particolare linguaggio funzionale) e perciò noti come lisp-machines, hanno avuto diffusione apprezzabile. Piuttosto sommariamente si può dire che spesso essi ...
Leggi Tutto
linguaggio di programmazione
linguaggio di programmazione particolare linguaggio impiegato per esprimere dati e istruzioni che possano essere letti, interpretati ed eseguiti da un automa esecutore, in [...] istruzioni prende il nome di programma interprete. Esempi di linguaggi di programmazione interpretati sono il → BASIC, il → LISP, I’APL;
• l’interpretazione e la traduzione vengono effettuate globalmente su tutte le istruzioni contenute nel programma ...
Leggi Tutto
Calcolatori
LLew Kowarski
di Lew Kowarski
SOMMARIO: 1. Definizioni e storia: a) i calcolatori come dispositivi numerici; b) i calcolatori come dispositivi elettronici; c) stadi dello sviluppo storico. [...] quella di orientarsi verso i problemi specifici. Tra i pionieri di tali linguaggi in matematica possiamo qui citare il LISP (abbreviazione per LISt Processor, ovvero elaboratore di liste, introdotto da J. McCarthy prima del 1960, adatto per problemi ...
Leggi Tutto
(II, p. 421; App. II, I, p. 125; III, I, p. 61; IV, I, p. 83)
Negli ultimi dieci anni lo sviluppo dell'a. è stato molto vivace. Ai temi di ricerca già consolidati se ne sono aggiunti nuovi e ne sono stati [...] dell'a. (del lambda-calcolo e dell'a. universale), specialmente per la programmazione di tipo logico ovvero simbolico (Lisp, Prolog).
Le aree di ricerca tradizionali. −Gli oggetti tradizionali della ricerca algebrica di questo secolo sono state varie ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] .
Da quando, alla fine degli anni Cinquanta, John McCarthy ha ideato il primo linguaggio di programmazione funzionale, il LISP, incorporando le idee del λ-calcolo, quest’ultimo ha acquisito un peso crescente presso la comunità informatica: oggi ...
Leggi Tutto
INFORMATICA MEDICA
Giorgio Migliau
Il progressivo sviluppo dell'informatica negli ultimi anni ha permesso la messa a punto di tecnologie molto avanzate e di sistemi sempre più veloci e affidabili. D'altra [...] numeri possono avvalersi di simboli. A questo scopo sono stati introdotti nuovi linguaggi di programmazione come il LISP (List Processing) o il più recente PROLOG (Programming in Logic). Attualmente esistono linguaggi di programmazione con interprete ...
Leggi Tutto
Forma di condotta comunicativa atta a trasmettere informazioni e a stabilire un rapporto di interazione che utilizza simboli aventi identico valore per gli individui appartenenti a uno stesso ambiente [...] degli algoritmi e una più facile verifica di correttezza del programma. Nel 1959 J. McCarthy progettò il l. LISP. Nonostante l’interesse teorico, tale l., basato sul concetto matematico di funzione e sulla possibilità di usare la ricorsione ...
Leggi Tutto
SISTEMI ESPERTI
I s.e. sono programmi per calcolatore che cercano di riprodurre le prestazioni di esperti umani nella risoluzione di problemi. Essi rappresentano il più conosciuto risultato pratico della [...] istallato e in uso in una cinquantina di centraline di commutazione, che servono circa mezzo milione di utenti; fa uso di una Lisp-Machine e di KEE, un noto ''guscio'' per lo sviluppo di s.e., cioè dello stesso ambiente impiegato per il suo sviluppo ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] a registri illimitati. In effetti esso ha ispirato la formulazione di un linguaggio di programmazione ad alto livello come il LISP introdotto da McCarthy (1958). Attualmente il λ−calcolo è considerato come un ''banco di prova'' per lo studio di ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giuseppina Brunetti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Nel Settecento la poesia sembra non toccare l’altezza dell’estrosa lirica secentesca [...] their lowly bed.
For them no more the blazing hearth shall burn,
Or busy housewife ply her evening care:
Or children run to lisp their sire’s return,
Or climb his knees the envied kiss to share.
Oft did the harvest to their sickle yield;
Their furrow ...
Leggi Tutto