Abbreviazione di list processing, nome di un linguaggio di programmazione, sviluppato inizialmente presso il MIT, particolarmente orientato al trattamento di liste che possono contenere indifferentemente dati o istruzioni di programma. Per questa sua caratteristica, il linguaggio è anche usato nel campo della intelligenza artificiale per realizzare particolari strumenti software, come per es. motori ...
Leggi Tutto
LISPLISP [ELT] [INF] Sigla dell'ingl. LISt Processor "processore a lista" per indicare il capostipite dei linguaggi di programmazione funzionale: v. linguaggi di programmazione: III 427 e. ...
Leggi Tutto
s-expressione
s-expressione in informatica, espressione simbolica di una struttura di dati, scritta in forma di lista e con l’utilizzo di una notazione prefissa, caratteristica del linguaggio di programmazione [...] → lisp. ...
Leggi Tutto
lista
lista in informatica, struttura di dati definita attraverso una collezione ordinata di elementi. Spesso una lista è implementata usando un’altra struttura come l’→ array. In alcuni linguaggi di [...] programmazione come il lisp, la lista rappresenta il paradigma del linguaggio stesso, perché un programma scritto in tale linguaggio agisce manipolando liste. Le operazioni più importanti sugli elementi di una lista sono: l’inserimento, la ...
Leggi Tutto
linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono [...] e loro valore può essere fatta in base alla posizione, ma anche al nome, e così via.
In alcuni linguaggi (tra cui Lisp, Python, JavaScript, Matlab), le funzioni sono trattate come un tipo di dato: possono essere create, assegnate a una variabile o ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] (X,Y) è definito come la lunghezza in bit del più breve programma per U che calcola la coppia (X,Y), che si esprime in LISP come (X Y). Il contenuto di informazione relativo H(X∣Y) è definito come la lunghezza in bit del più breve programma per U che ...
Leggi Tutto
linguaggio funzionale
linguaggio funzionale particolare tipo di → linguaggio di programmazione dotato di un paradigma di programmazione che si richiama al concetto di funzione, sia come definizione sia [...] ambito accademico e scientifico. Una loro applicazione è la manipolazione simbolica di formule. Tra i più famosi, il → LISP. I linguaggi funzionali si contrappongono ai → linguaggi procedurali, i quali implicano una sequenza imperativa di comandi da ...
Leggi Tutto
McCarthy
McCarthy John (Boston 1927 - Stanford 2011) logico matematico e informatico statunitense. Docente al mit (1958-61) e alla Stanford University (dal 1962), nel 1971 si è aggiudicato il premio [...] ’intelligenza umana e simulare comportamenti umani razionali. Nell’ambito dell’informatica, ha inventato il linguaggio lisp (List Processor, spesso riportato come lisp), che trova larga applicazione proprio nel settore dell’intelligenza artificiale. ...
Leggi Tutto
Matematico e informatico statunitense (Boston 1927 - Stanford 2011). Prof. di computer science al Massachusetts institute of technology (1958-1961) e dal 1962 alla Stanford University (emerito dal 2001), [...] , di cui è considerato uno dei principali fondatori, e importanti contributi alla robotica. Ideatore del linguaggio di programmazione LISP, che ha favorito lo sviluppo del calcolo simbolico, nel 1988 ha ricevuto per i numerosi meriti il prestigioso ...
Leggi Tutto
multimetodi
Mauro Cappelli
Funzionalità implementata in alcuni linguaggi di programmazione orientata agli oggetti che consente un polimorfismo su più di un argomento di un metodo. Il polimorfismo permette [...] di due figure geometriche dipende ovviamente da entrambe le forme coinvolte). Alcuni linguaggi di programmazione come CLOS (Common ;lisp object system), Dylan (una versione semplificata di CLOS) o Nice prevedono un costrutto specifico, definito come ...
Leggi Tutto