Informatica quantistica (2009/2010)

Codice insegnamento
4S01923
Crediti
6
Coordinatore
Alessandra Di Pierro
Altri corsi di studio in cui è offerto
Altri corsi di studio in cui è offerto
    Settore disciplinare
    INF/01 - INFORMATICA
    Lingua di erogazione
    Italiano
    Pagina Web
    http://profs.sci.univr.it/~dipierro/InfQuant/InfQuant10.html
    L'insegnamento è organizzato come segue:
    Attività Crediti Periodo Docenti
    Teoria e Esercitazioni 5 II semestre Alessandra Di Pierro
    Meccanica quantistica 1 II semestre Francesca Monti

    Orario lezioni

    II semestre
    Attività Giorno Ora Tipo Luogo Note
    Teoria e Esercitazioni giovedì 10.30 - 12.30 lezione Aula C  
    Teoria e Esercitazioni venerdì 11.30 - 13.30 lezione Aula C dal 2-apr-2010  al 15-giu-2010
    Meccanica quantistica venerdì 11.30 - 13.30 lezione Aula C dal 1-mar-2010  al 1-apr-2010

    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.
    Data la natura interdisciplinare della materia, 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 affrontare gli argomenti trattati nel corso.
    A tale scopo verranno introdotti i principi della meccanica
    quantistica alla base degli affascinanti fenomeni che si manifestano nel nostro universo e che hanno reso possibile la concezione della computazione quantistica.

    La seconda parte e' rivolta ad un'approfondita trattazione dei risultati centrali relativi alla computabilita' e alla complessita' quantistica nonche' allo sviluppo di algoritmi quantistici. Vengono inoltre discusse le problematiche relative ai linguaggi di programmazione quantistica sia a livello di assembler e di programmazione ad alto livello.
    Infine viene studiata la crittografia quantistica che, a differenza del computer quantistico, e' oggi una realta' tangibile con dispositivi disponibili in commercio e attualmente in uso.

    Programma

    Introduzione e Background

    - Spazi vettoriali complessi
    - Principi di meccanica quantistica


    Computazione Quantistica

    -Il modello dei circuiti
    -Macchina di Turing Quantistica
    -Trasformata di Fourier e sue applicazioni
    -- Stima di autovalori
    -- Order finding
    -- Fattorizzazione
    -Algoritmi di ricerca

    Crittografia Quantistica: il protocollo BB84
    Introduzione ai Linguaggi di Programmazione Quantistica

    Modalità d'esame

    Esame scritto e orale

    Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

    Statistiche esiti
    Esiti Esami Esiti Percentuali Media voti Deviazione Standard
    Positivi 50.0% 29 1
    Respinti --
    Assenti --
    Ritirati 25.0%
    Annullati 25.0%
    Distribuzione degli esiti positivi
    18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
    0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 50.0% 0.0% 50.0% 0.0%

    Valori relativi all'AA 2009/2010 calcolati su un totale di 4 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.