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
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
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] Il linguaggio FORTRAN e il suo compilatore furono sviluppati da John W. Backus e introdotti dall'IBM nel 1957 mentre LISP, un linguaggio interprete per la manipolazione di espressioni logiche, fu inventato da John McCarthy nel 1958 ca. (anch'esso con ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] dei linguaggi di programmazione possiamo citare John Mc Carthy e Peter Landin, per i loro lavori sulla semantica operazionale del LISP e dell'Algol. In un approccio molto utilizzato, di tipo essenzialmente sintattico, il modello di calcolo astratto è ...
Leggi Tutto