Modèles formels pour l'informatique quantique

• Résumé
  
• Abstract
  
• Introduction générale
  
• Introduction générale
  
• CHAPITRE 1
  
  • 1.1 Notions mathématiques et physiques 1.1.1 Notations mathématique
    
  • 1.1.2.1 Postulat 1 : vecteur d'état et notation de Dirac :
    
  • 1.1.2.2 Postulat 2 : Système composé
    
  • 1.1.2.3 Postulat 3 : Evolution quantique:
    
• CHAPITRE 2
  
  • 2.1 Les nombres quantiques :
    
  • 2.2 Les circuits quantiques :
    
  • 2.2.1 Qubit
    
  • 2.2.2 Sphère de Bloch
    
  • 2.2.3 Mesure d'un qubit
    
  • 2.2.4 Registre quantique
    
  • 2.2.5 Porte quantique »L'évolution après mesure»
    
  • 2.2.5.1 portes à un qubit (opérations unitaires sur un seul qubit)
    
  • 2.2.5.2 Portes logiques à deux qubits)
    
  • 2.2.5.3 Portes à plus de deux qubits)
    
  • 2.3 Complexité d'un algorithme quantique:
    
• Conclusion
  
• CHAPITRE 3
  
  • 
    
  • 3.1 introduction :
    
  • 3.2 Les problèmes posés sous forme d'une boite noire :
    
  • 3.2.1 Exemples d'oracles classiquement difficiles
    
  • 3.3 L'Algorithme quantique de Deutsch-Josza:
    
  • 3.4 Algorithme de recherche quantique (Grover) :
    
  • 3.5 L'Algorithme de Simon [Haroche, 2002]
    
  • 3.6 Algorithme quantique de Shor [Jorrand, 2012]
    
• CHAPITRE 4
  
  • 4.1 La machine de Turing quantique
    
  • 4.2 q-calcul
    
  • 4.2.1 Introduction
    
  • 4.2.2 Termes du q-calcul
    
  • 4.2.3 Représentation graphique
    
  • 4.3 Sémantiques dénotationnelles
    
  • 4.3.1 Sémantique pure :[|.|]
    
  • 4.4 qCCS
    
  • 4.4.1 Introduction
    
  • 4.4.2 Syntaxe et Sémantique Opérationnelle [YING et al., 2003]
    
  • 4.4.2.1 La syntaxe
    
  • 4.4.2.2 Sémantique Opérationnelle
    
• CHAPITRE 5
  
  • 5.1 Comment définir la programmation quantique ?
    
  • 5.2 Les langages impératifs
    
  • 5.2.1 Quantum Computing Language (QCL)
    
  • 5.2.1.1 Syntaxe de QCL [Omer, 2000] [Omer, 2009] - Expressions
    
  • 5.3 Langages Fonctionnels et Lambda-Calcul
    
  • 5.3.1 QML : langage de programmation fonctionnel quantique
    
  • 5.3.1.1 La conception de QML
    
  • 5.3.1.2 La syntaxe de QML
    
  • 5.3.2 Quipper : langage de programmation quantique scalable
    
• CHAPITRE 6
  
  • 6.2 Basic LOTOS
    
  • 6.2.2 Sémantique opérationnelle de Basic LOTOS
    
  • 6.3.1 Syntaxe de Q-LOTOS
    
  • 6.3.2 Sémantique Opérationnelle
    
  • 6.4 Conclusion
    
• Conclusion générale
  
• Bibliographie