Matematica
Cod 198373
- Laurea magistrale
- 2 anni
- 120 CFU
- LM-40 R
ING-INF/05 · INF/01
IN510 – Quantum Computing
Codice: 20411002
Scheda insegnamento
- Anno Accademico di erogazione
- 2026/2027
- Corso di studi
- Scienze Computazionali
- Periodo di erogazione
- Primo semestre
- CFU
- 6 CFU
- Lingua
- Italiano
- SSD
- ING-INF/05 / INF/01
Moduli
- IN510 – Quantum Computing Modulo a — 3 CFU ING-INF/05
- IN510 – Quantum Computing Modulo B — 3 CFU INF/01
Scopri il programma didattico
Programma, testi adottati e modalità d’esame sono quelli pubblicati dai docenti per l’anno accademico 2026/2027. L’insegnamento è diviso in canali: ogni canale ha il suo programma.
- Docente
- Marco Pedicini
- Curriculum
- Crittografia e sicurezza informatica
- Anno di corso
- 1
- Periodo
- Primo semestre
- Ore
- 57
- CUIN
- 260008558
Programma
Elementi di Algebra Lineare: Spazi di Hilbert, Prodotti e prodotti tensore, matrici, spazi complessi e prodotto scalare, grafi, somma dei cammini nel grafo.
Funzioni booleane, quantum bits e fattibilità computazionale.
Matrici speciali: Hadamard Matrices, Fourier Matrices, Computazioni reversibili e matrici di permutazione, matrici diagonali, riflessioni.
Vettori di inizializzazione, controllo e copia di stati di base.
Algoritmi: Phil Algorithm, Deutsch’s Algorithm, Superdense Coding and Teleportation.
The Deutsch-Jozsa Algorithm. Simon’s Algorithm. Shor’s Algorithm, Quantum Part of the Algorithm, Analysis of the Quantum Part, Continued Fractions.
FactoringIntegers: Basic Number Theory, Periods Give the Order, Factoring.
Grover’s Algorithm: The binary case, the general case, with k Unknowns, Grover Approximate Counting.
Prerequisiti
Algebra Lineare. Calcolabilità e Complessità.
Testi adottati
Richard J. Lipton, Kenneth W. Regan Introduction to Quantum Algorithms via Linear Algebra, Second Edition, ISBN 9780262045254, (2021), MIT Press
Modalità di erogazione
Corso di Letture.
Modalità di frequenza
frequenza facoltativa
Modalità di valutazione
L'esame consiste nella presentazione di un seminario su un tema da concordare con il docente.
Prove previste
- Valutazione di un progetto
- Docente
- Marco Pedicini
- Curriculum
- Modellistica fisica e simulazioni numeriche
- Anno di corso
- 1
- Periodo
- Primo semestre
- Ore
- 57
- CUIN
- 260008617
Programma
Elementi di Algebra Lineare: Spazi di Hilbert, Prodotti e prodotti tensore, matrici, spazi complessi e prodotto scalare, grafi, somma dei cammini nel grafo.
Funzioni booleane, quantum bits e fattibilità computazionale.
Matrici speciali: Hadamard Matrices, Fourier Matrices, Computazioni reversibili e matrici di permutazione, matrici diagonali, riflessioni.
Vettori di inizializzazione, controllo e copia di stati di base.
Algoritmi: Phil Algorithm, Deutsch’s Algorithm, Superdense Coding and Teleportation.
The Deutsch-Jozsa Algorithm. Simon’s Algorithm. Shor’s Algorithm, Quantum Part of the Algorithm, Analysis of the Quantum Part, Continued Fractions.
FactoringIntegers: Basic Number Theory, Periods Give the Order, Factoring.
Grover’s Algorithm: The binary case, the general case, with k Unknowns, Grover Approximate Counting.
Prerequisiti
Algebra Lineare. Calcolabilità e Complessità.
Testi adottati
Richard J. Lipton, Kenneth W. Regan Introduction to Quantum Algorithms via Linear Algebra, Second Edition, ISBN 9780262045254, (2021), MIT Press
Modalità di erogazione
Corso di Letture.
Modalità di frequenza
frequenza facoltativa
Modalità di valutazione
L'esame consiste nella presentazione di un seminario su un tema da concordare con il docente.
Prove previste
- Valutazione di un progetto
- Docente
- Marco Pedicini
- Curriculum
- Analisi dei dati e statistica
- Anno di corso
- 1
- Periodo
- Primo semestre
- Ore
- 57
- CUIN
- 260008673
Programma
Elementi di Algebra Lineare: Spazi di Hilbert, Prodotti e prodotti tensore, matrici, spazi complessi e prodotto scalare, grafi, somma dei cammini nel grafo.
Funzioni booleane, quantum bits e fattibilità computazionale.
Matrici speciali: Hadamard Matrices, Fourier Matrices, Computazioni reversibili e matrici di permutazione, matrici diagonali, riflessioni.
Vettori di inizializzazione, controllo e copia di stati di base.
Algoritmi: Phil Algorithm, Deutsch’s Algorithm, Superdense Coding and Teleportation.
The Deutsch-Jozsa Algorithm. Simon’s Algorithm. Shor’s Algorithm, Quantum Part of the Algorithm, Analysis of the Quantum Part, Continued Fractions.
FactoringIntegers: Basic Number Theory, Periods Give the Order, Factoring.
Grover’s Algorithm: The binary case, the general case, with k Unknowns, Grover Approximate Counting.
Prerequisiti
Algebra Lineare. Calcolabilità e Complessità.
Testi adottati
Richard J. Lipton, Kenneth W. Regan Introduction to Quantum Algorithms via Linear Algebra, Second Edition, ISBN 9780262045254, (2021), MIT Press
Modalità di erogazione
Corso di Letture.
Modalità di frequenza
frequenza facoltativa
Modalità di valutazione
L'esame consiste nella presentazione di un seminario su un tema da concordare con il docente.
Prove previste
- Valutazione di un progetto
Esplora gli obiettivi dell’insegnamento
Ambito disciplinare: Attività formative affini o integrative
Risultati di apprendimento attesi — Marco Pedicini
Studio del modello circuitale quantistico e della sua universalità, approfondimento delle principali tecniche quantistiche per la progettazione di algoritmi e la loro analisi, introduzione di alcuni linguaggi di programmazione quantistica e di alcune piattaforme software per la specifica di computazioni quantistiche.
Risultati di apprendimento attesi — Marco Pedicini
Studio del modello circuitale quantistico e della sua universalità, approfondimento delle principali tecniche quantistiche per la progettazione di algoritmi e la loro analisi, introduzione di alcuni linguaggi di programmazione quantistica e di alcune piattaforme software per la specifica di computazioni quantistiche.
Risultati di apprendimento attesi — Marco Pedicini
Studio del modello circuitale quantistico e della sua universalità, approfondimento delle principali tecniche quantistiche per la progettazione di algoritmi e la loro analisi, introduzione di alcuni linguaggi di programmazione quantistica e di alcune piattaforme software per la specifica di computazioni quantistiche.
Esempi di domande d’esame
Marco Pedicini
Algoritmi per il quantum computing rappresentati mediante diagrammi di circuiti quantistici e implementati in uno dei linguaggi di programmazione pertinenti, come Qiskit, Q-CUDA, ecc.
Marco Pedicini
Algoritmi per il quantum computing rappresentati mediante diagrammi di circuiti quantistici e implementati in uno dei linguaggi di programmazione pertinenti, come Qiskit, Q-CUDA, ecc.
Marco Pedicini
Algoritmi per il quantum computing rappresentati mediante diagrammi di circuiti quantistici e implementati in uno dei linguaggi di programmazione pertinenti, come Qiskit, Q-CUDA, ecc.