Descriptif
Ce cours se veut une ouverture aux langages de programmations et méthodes formelles quantiques. Il s'agit de présenter les différentes pistes pour étendre et adapter les paradigmes de programmations ainsi que les techniques de compilation et de vérification dans le cadre d'un ordinateur quantique.
Dans cette optique, nous nous reposerons sur la théorie des catégories et plus particulièrement la notion de théorie équationnelle diagrammatique afin de fournir un cadre solide pour étudier les processus quantiques. Cela sera l'occasion de reformuler certaines notions abordées en INF587 en terme de réécriture de diagrammes, et d'apporter un éclairage nouveau sur les concepts d'intrication, de matrices de densité ou de POVM. Enfin, il s’agira tendre un pont vers la recherche et l’innovation, très actives dans le jeune domaine de la compilation quantique.
Diplôme(s) concerné(s)
- M1 MPRI - Fondements de l'Informatique
- M2 DataAI - Données et intelligence artificielle
- Programmes d'échange internationaux
- M1 DataAI - Données et intelligence artificielle
- Titre d’Ingénieur diplômé de l’École polytechnique
Parcours de rattachement
Format des notes
Numérique sur 20Littérale/grade américainPour les étudiants du diplôme M1 DataAI - Données et intelligence artificielle
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale < 7
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 7
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M2 DataAI - Données et intelligence artificielle
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale < 7
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 7
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M1 MPRI - Fondements de l'Informatique
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale < 7
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 7
- Crédits ECTS acquis : 5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Titre d’Ingénieur diplômé de l’École polytechnique
Vos modalités d'acquisition :
L'UE serait evaluée par un Devoir Maison et un examen oral de 30 minutes, la note finale étant la moyenne des deux. Le rattrapage à les mêmes modalités que l'examen oral final.
Le rattrapage est autorisé (Max entre les deux notes)- le rattrapage est obligatoire si :
- Note initiale < 10
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 10
- Crédits ECTS acquis : 5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Programmes d'échange internationaux
Le rattrapage est autorisé (Max entre les deux notes)- le rattrapage est obligatoire si :
- Note initiale < 10
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 10
La note obtenue rentre dans le calcul de votre GPA.