Informatica quantistica (2007/2008)

Corso a esaurimento

Codice insegnamento
4S01923
Docente
Alessandra Di Pierro
crediti
5
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
3° Q dal 7-apr-2008 al 13-giu-2008.
Pagina Web
http://profs.sci.univr.it/~dipierro/InfQuant/InfQuant08.html

Orario lezioni

3° Q
Giorno Ora Tipo Luogo Note
martedì 8.30 - 11.30 lezione Aula A  
venerdì 9.30 - 11.30 lezione Aula B  

Obiettivi formativi

Il corso fornisce un'introduzione alla computazione quantistica presentandone le idee di base e illustrando le tecniche e i risultati piu' importanti finora ottenuti. Dato il rapido progresso e la natura interdisciplinare di questo campo di ricerca, il corso richiede un'ampia gamma di conoscenze non limitate ad una formazione puramente informatica. Per questo motivo, una prima parte del corso e' destinata a offrire il background in matematica e fisica necessario per capire le idee e le tecniche della computazione quantistica, rendendo il corso accessibile a non-esperti della materia. La seconda parte e' rivolta ad una trattazione piu' approfondita dei risultati centrali relativi a computabilita' e complessita' quantistica nonche' allo sviluppo di algoritmi quantistici.

Programma

Parte I: Nozioni Fondamentali

* Introduzione:
1. Quantum bits
2. Circuiti quantistici
3. Algoritmi quantistici
* Cenni di meccanica quantistica
* Cenni di calcolabilita' classica

Parte II: Computazione Quantistica

* Il modello dei circuiti
* Macchina di Turing Quantistica
* Trasformata di Fourier e sue applicazioni per
1. Stima di autovalori 2. Order finding 3. Fattorizzazione
* Algoritmi di ricerca
* Computers Quantistici: Realizzazione fisica
* Introduzione ai Linguaggi di Programmazione Quantistica

Modalità d'esame

Prova scritta e orale