intelligenza artificiale
intelligenza artificiale insieme di studi e tecniche, pertinenti all’informatica, ma prossime alle ricerche di logica matematica e con profonde implicazioni sia filosofiche sia [...] termine fu proposto per la prima volta nel 1956 dal matematico statunitense J. McCarthy, l’inventore del linguaggio di programmazione lisp, e da M.L. Minsky. La nascita del concetto di intelligenza artificiale si può però far risalire al 1950, anno ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] modulo iniettivo e proiettivo, di risoluzione iniettiva o proiettiva di un modulo e di funtore derivato.
Il linguaggio Lisp. L'informatico americano John McCarthy, durante il convegno di Dartmouth sull'intelligenza artificiale, sviluppa le idee alla ...
Leggi Tutto
JIT
Mauro Cappelli
Sigla della locuzione inglese just in time, rappresenta una modalità di compilazione di tipo dinamico che consente di migliorare le prestazioni di linguaggi di programmazione che [...] nativo durante l’esecuzione (da cui il nome just in time). Per es., molti sistemi che implementano Common Lisp hanno una funzione di compilazione che può compilare nuove funzioni create durante l’esecuzione. La compilazione dinamica, consentendo l ...
Leggi Tutto
combinatore
combinatore in logica, funzione che trasforma una data sequenza di simboli, che appartengono a un linguaggio formale, in un’altra sequenza. Per esempio, in un linguaggio formale contenente [...] il quale, data una coppia di formule A e B, cancella la prima, ovvero: 0AB ≡ (λxyy)AB → B.
L’importanza dei combinatori risiede nel fatto che essi sono alla base dei linguaggi di programmazione, in particolare dei linguaggi funzionali come il lisp. ...
Leggi Tutto
Church, Alonzo
Logico e matematico statunitense (Washington 1903 - Hudson, Ohio, 1995). Prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, insegnò dal 1967 matematica [...] teoria dei tipi e il λ-calcolo, un calcolo di funzioni alla base del primo linguaggio di programmazione funzionale, il LISP. Da ricordare anche l’importante contributo di Ch. alla semantica logica, sviluppo originale della teoria di Frege sul senso e ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] modello di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono basati sul l. calcolo.
medicina Punto l. Punto antropologico del cranio corrispondente all’incontro della sutura ...
Leggi Tutto
LINGUAGGI PROGRAMMATIVI
Carlo Ghezzi
I l. p. (o linguaggi di programmazione) costituiscono il mezzo linguistico tramite cui gli elaboratori possono essere programmati. Essi costituiscono pertanto lo [...] dialetti ed estensioni che impedirono, fino agli anni recenti, una reale standardizzazione.
Il più noto è il LISP, un linguaggio funzionale per la manipolazione di liste che risulta particolarmente efficace a programmare applicazioni di elaborazione ...
Leggi Tutto
La vita artificiale
Thomas S. Ray
(ATR Human lnformation Processing, Research Laboratories Kyoto, Giappone)
La vita artificiale (VA) estende il campo di indagine della biologia, permettendo di studiare [...] che compongono una stringa (per esempio, i valori dei coefficienti di un'equazione). Nella PG, un linguaggio tipo Lisp contiene un insieme prede finito di espressioni linguistiche primitive, le quali permettono di produrre strutture logiche ad albero ...
Leggi Tutto
notazione
notazione insieme di simboli e convenzioni usati per indicare enti e operazioni matematiche ed, eventualmente, l’ordine di esecuzione del loro calcolo. Oltre che per l’ovvio scopo simbolico-formale, [...] simbolo del predicato è posto prima degli argomenti a cui si riferisce. È inoltre usata nel linguaggio di programmazione lisp. Un particolare tipo di notazione prefissa è la notazione polacca, introdotta dal logico polacco J. Łukasiewicz intorno al ...
Leggi Tutto
INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] gestione dei dati (fra cui il COBOL), oppure alla manipolazione di simboli finalizzata a svolgere ragionamenti e deduzioni (tra cui il LISP e il PROLOG), oppure alla scrittura di software di sistema (tra cui il C e il C+ +), oppure alla realizzazione ...
Leggi Tutto