computazione quantistica
Giulio Casati
Un computerquantistico è una macchina che elabora l’informazione e compie operazioni logiche in base alle leggi della meccanica quantistica. Esso opera cioè secondo [...] è un sistema composto da molti qubit. Il principio di sovrapposizione della meccanica quantistica fornisce al computerquantistico un enorme vantaggio, che consiste nella possibilità di elaborare una quantità notevole di dati contemporaneamente ...
Leggi Tutto
Computer science
Scott Kirkpatrick
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] tale che i loro stati possano simulare il comportamento di fenomeni quantistici più complessi. Poi, nel 1994, Peter W. Shor mostrò che un computer che esegua procedure quantistiche può fattorizzare numeri grandi in un tempo subesponenziale. Poiché le ...
Leggi Tutto
(o computer, o elaboratore elettronico) Apparecchio o dispositivo utilizzato per l’elaborazione di dati e segnali.
Cenni storici
Le origini
Il desiderio di realizzare uno strumento in grado di compiere [...] il 1939 e il 1942; l’ENIAC (Electronic Numerical Integrator And Computer), ultimato nel 1945 da J. Mauchly e J.P. Eckert; lo stato di un sistema formato anche da pochi qbit di un c. quantistico (per es., l’equivalente di un registro di memoria di un c ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] qubit. Per analoghi motivi, in un calcolatore quantistico (a differenza di quanto accadrebbe in uno ma anche con una certa approssimazione.
bibliografia
A.S. Tanembaum, Computer networks, Englewood Cliffs 1981, Upper Saddle River (N.J.) ...
Leggi Tutto
Il concetto di calcolo costituisce uno dei più importanti fondamenti teorici delle discipline informatiche. Così come nelle discipline meccaniche non si possono comprendere le caratteristiche dei motori [...] è reversibile, la reversibilità è una condizione necessaria per realizzare una macchina di Turing quantistica. Nel 1982 Feynman pubblicò il suo famoso lavoro sui computerquantistici, in cui stabilì che una macchina di Turing è in grado di simulare ...
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 [...] tale che i loro stati possano simulare il comportamento di fenomeni quantistici più complessi. Poi, nel 1994, Peter W. Shor mostrò che un computer che esegua procedure quantistiche può fattorizzare numeri grandi in un tempo subesponenziale. Poiché le ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] in generale il modello adatto per simulare un sistema fisico quantistico. Gli inizi della teoria risalgono agli anni Novanta, in campo della combinatoria delle parole. L'Handbook of theoretical computer science di Leeuwen (1990a e b) tratta tutti ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] il modello adatto per simulare un sistema fisico quantistico. Gli inizi della teoria risalgono in generale agli Quantum theory, the Church-Turing principle and the universal quantum computer, "Proceedings of the Royal Society of London A", 400 ...
Leggi Tutto
Crittografia
GGiancarlo Bongiovanni
di Giancarlo Bongiovanni
SOMMARIO: 1. Introduzione e definizioni. ▭ 2. Cenni storici. ▭ 3. Crittografia a chiave segreta: a) l'algoritmo DES; b) l'algoritmo IDEA; [...] la fattorizzazione (v. Shor, 1994; v. calcolatori: Calcolo quantistico, vol. XII). Dunque, se venisse costruito un elaboratore in Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science, November 20-22, 1994, Santa Fe, New ...
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 [...] , contemporaneamente alla sua versione anglosassone (theoretical computer science). L'uso di tali termini si . Esempi di tali paradigmi sono il calcolo neuronale, il calcolo quantistico e il calcolo molecolare. L'interesse per tali modelli ‒ ai ...
Leggi Tutto
calcolatore quantistico
loc. s.le m. Computer che può disporre di una potenza di calcolo molto elevata, funzionante sulla base dei principi elaborati dalla teoria computazionale quantistica. ◆ Esperti della Nasa anticipano un futuro remoto...
qubit
s. m. inv. Unità minima di informazione che può essere elaborata da un calcolatore quantistico. ◆ Nei computer del futuro, i bit, gli interruttori che accendendosi e spegnendosi fanno funzionare il microprocessore, potranno essere sostituiti...