v2.11.0 (5518)

Programme d'approfondissement - CSC_52003_EP : Advanced quantum circuitry

Domaine > Informatique.

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.

Format des notes

Numérique sur 20

Littérale/grade réduit

Pour les étudiants du diplôme Programmes d'échange internationaux

Pour les étudiants du diplôme Titre d’Ingénieur diplômé de l’École polytechnique

Le rattrapage est autorisé (Note de rattrapage conservée)
    L'UE est acquise si note finale transposée >= C
    • Crédits ECTS acquis : 5 ECTS

    La note obtenue rentre dans le calcul de votre GPA.

    Veuillez patienter