logica combinatoria
logica combinatoria locuzione utilizzata in due diverse accezioni:
• per indicare un modello di calcolo logico introdotto nel 1920 dal matematico ucraino M.I. Schönfinkel (combinatory [...] combinatoria perché rappresenta una notazione più concisa e di minore complessitàcomputazionale.
La logica combinatoria trova inoltre applicazioni in teoriadella → dimostrazione. In particolare, è possibile stabilire una corrispondenza fra le ...
Leggi Tutto
millennio, problemi del
millènnio, problèmi del locuz. sost. m. pl. – Selezione di sette problemi matematici proposti nel 2000 dal Clay mathematics institute (CMI) di Cambridge nel Massachusetts, che [...] classi di complessitàcomputazionale P, cui delle particelle predette dalla teoria abbia massa strettamente positiva. La teoria di Yang-Mills è una generalizzazione dell’elettromagnetismo di Maxwell ed è alla base dell’attuale Modello Standard della ...
Leggi Tutto
operazionismo
operazionismo teoria dei concetti scientifici formulata per la prima volta in maniera esplicita dal fisico statunitense Percy Williams Bridgman (1882-1962). Per Bridgman il significato [...] operazioni effettivamente eseguibili in laboratorio. Nel campo della logica e della matematica, una tendenza analoga all’operazionismo si relativi alla → calcolabilità e alla → complessitàcomputazionale, anche in rapporto all’impetuoso sviluppo di ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] particolarmente, nella tecnica, la modellistica costituisce il complessodelleteorie e dei metodi inerenti alla sperimentazione su m tecniche proprie dell’intelligenza artificiale, favoriti sia dalla crescita delle capacità computazionali sia dalla ...
Leggi Tutto
Musica
Alvise Vidolin
Serena Facci
Vincenzo Perna
Giovanni Giurati
Serena Facci
Giovanni Giuriati
(XXIV, p. 124; App. II, ii, p. 372; III, ii, p. 186; IV, ii, p. 541; V, iii, p. 597)
L'evoluzione [...] inoltre ricerche di musicologia computazionale in collaborazione con L. delleteorie semiotiche, prese il via a partire dagli anni Settanta una vera e propria pedagogia dell'ascolto musicale. L'atto dell'ascoltare viene visto come un evento complesso ...
Leggi Tutto
Fluidi, meccanica dei
Gino Bella
La m. dei f. è la branca della fisica che si occupa del comportamento dei fluidi, ossia delle sostanze liquide e gassose, dal punto di vista statico e dinamico. Gli [...] dalla metà del 20° sec., una nuova scienza detta meccanica computazionale, che ha in comune elementi di fisica (m. dei che sono basate su tecniche cinetiche.
Teoriadello strato limite
La complessità del comportamento dei fluidi viscosi, in modo ...
Leggi Tutto
Storia dei concetti e delle tecniche nella ricerca sulle reti neurali
Jack D. Cowan
(Department of Mathematics, University of Chicago Chicago, Illinois, USA)
In questo saggio descriveremo diverse ricerche [...] teoriadell' complesse, che incorporano unità nascoste con connessioni modificabili. Descriveremo queste soluzioni nel seguito.
Elaborazione con reti di Hopfield
Le reti di Hopfield si sono rivelate utili nella risoluzione di problemi computazionali ...
Leggi Tutto
Enzo Iarocci
Acceleratore
«Io non cerco, trovo» (Pablo Picasso)
LHC. Il grande anello di collisioni adroniche
di
10 settembre
Il CERN, l’Organizzazione europea per la ricerca nucleare di Ginevra, mette [...] composti che si chiamano adroni. L’attuale teoria richiede ancora l’osservazione diretta di un nuovo, per realizzare il complesso d’iniezione dell’ultimo arrivato. Così per , dalla biologia alla chimica computazionale, dall’astrofisica allo spazio. ...
Leggi Tutto
La grande scienza. Chimica quantistica
Frank Jensen
Chimica quantistica
La materia è costituita da nuclei atomici ed elettroni che interagendo formano gli atomi e le molecole, i quali a loro volta danno [...] ottenuti con un maggiore sforzo computazionale, per esempio aumentando il alta energia lungo questo percorso descrive un complesso molecolare che viene chiamato 'stato di approccio alternativo è quello dellateoriadelle perturbazioni a molti corpi ...
Leggi Tutto
Regole funzionali per decidere
Leslie A. Real
(Department of Biology, Indiana University Bloomington, Indiana, USA)
La rappresentazione accurata ed effìciente dell'ambiente nel quale un organismo vive [...] computazionalidella ricerca e della scelta di possibili partner sessuali, della scelta delle risorse di cui nutrirsi e della strutturazione delledell'Università del Michigan, invitò i più famosi teorici dellateoria variavano in complessità dalle più ...
Leggi Tutto