Perceptron
Gérard Dreyfus
Léon Personnaz
Gérard Toulouse
Le prime idee sui neuroni formali (con uscite binarie o continue) sono emerse come astrazioni nel corso degli studi sulle modalità di funzionamento [...] della procedura del tutto generale che realizza una previsione attraverso un'interpolazione. Lo scopo della modellizzazione è trovare un modello matematico, come una rete neurale, la cui risposta a qualsiasi segnale di input (denominato di solito ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] cui il pensiero consiste in processi di modellizzazione simbolico-rappresentativa di aspetti della realtà, realizzati formulate in sede di teoria logica. Per es., benché la logica matematica così come fu sistematizzata, tra la fine del 19° secolo ...
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 [...] .
Il λ−calcolo. - Un modello matematico alternativo dei procedimenti di computo venne introdotto da A. Church (1932) attraverso il suo λ−calcolo. Mentre la macchina a registri illimitati fornisce una modellizzazione a basso livello (cioè a livello ...
Leggi Tutto
REALTÀ VIRTUALE
Anna Ludovico
La locuzione realtà virtuale traduce l'espressione corrispondente virtual reality (VR), inventata dall'informatico statunitense J. Lanier per indicare l'insieme dei fenomeni [...] scienza, punto di convergenza fra l'alta tecnologia e la matematica più avanzata, e perciò in grado di tradurre in algoritmi 'esperienza. L'elemento comune della simulazione e della modellizzazione sta nel determinare un modello di un sistema reale ...
Leggi Tutto
La grande scienza. Bioinformatica
Anna Tramontano
Bioinformatica
La bioinformatica è una scienza multidisciplinare, al crocevia tra biologia, chimica, matematica, fisica e informatica, che analizza [...] i computer non soltanto come processori per operazioni matematiche, ma anche come strumenti per manipolare oggetti, cioè un articolo divenuto ormai storico. Come vedremo la modellizzazione per omologia rappresenta ancora ai giorni nostri la tecnica ...
Leggi Tutto