Cours Turing+
Aperçu des semaines
-
- La première partie du cours (5 semaines en août-septembre), enseignée par Olivier Lévêque, portera sur le calcul quantique. Des notes de cours et des exercices et solutions seront distribués chaque semaine.
Notez que vous trouvez également ci-dessous un fichier pdf avec des notes de cours plus complètes (et même sans doute trop complètes) sur le sujet. Nous explorerons quelques chapitres ensemble (dans une version légèrement simplifiée), à savoir les chapitres 3, 10 et 13.
- La seconde partie du cours (5 semaines en janvier-février), enseignée par Cédric Donner, portera sur la résolution de problèmes de satisfaction de contraintes en Python (lien vers une description du cours).
Salles pour le cours: CM 1 106 (cours et exercices théoriques) et CM 1 110 (exercices pratiques).
-
Introduction générale
Circuits classiques
Qubits
Etats produits et intriqués
-
Axiomes de base de la physique quantique
Modèle de Deutsch pour les circuits quantiques
Problème et circuit de Deutsch
-
Problème et circuit de Deutsch-Josza
Démonstration de l'utilisation d'une vraie machine d'IBM
-
Problème de la recherche d'un élément
Algorithme de Grover
-
Matériel de cours
Accès à la salle : CM 1 110
Le matériel de cours se trouve sur la plateforme https://courses.21-learning.com/runestone/books/published/turing-cp-2025/index.html. Les accès seront communiqués au début de la séance.
- les noms d'utilisateurs est formé de tous les caractères se trouvant avant le @ dans votre adresse de courriel
- Le mot de passe est 1234, mais vous pouvez changer votre mot de passe sur https://courses.21-learning.com/runestone/default/user/change_password
Nom username Théo Akladios (spritetheo) spritetheo Antoine Bollengier (bollengier.antoine) bollengier.antoine Sofia Bonazzola (vihar1937) vihar1937 Anastassia Bortis (bortisanastassia) bortisanastassia Emilien Cangemi (emilien.cangemi) emilien.cangemi Caroline Cariage (caroline.cariage23) caroline.cariage23 Andrey Demakov (nkrivonosova) nkrivonosova Olivier Dubois-Ferrière (olivierdubfer) olivierdubfer Léonard Duparc (duparcleo) duparcleo Yoann Jacques (yoja) yoja Adam Knight (adam.a.knight) adam.a.knight Irène Lelièvre (irene.llvr) irene.llvr Mykola Nikolayev (mykolanikolayev37) mykolanikolayev37 Hélène Pawelczyk (helene.pawelczyk) helene.pawelczyk Hayk Serobyan (hayktserobyan) hayktserobyan Reddy Tammireddy Pranavendra (pranavendrareddy.tammireddy) pranavendrareddy.tammireddy Aurélie Tran (oreotran6) oreotran6 Adrian Vlasov (admin) admin Austin Zhang (yuchu.zhang) yuchu.zhang
Déroulement des séances de cours : https://level-parent-bac.notion.site/S-ances-1781f83615888053a236eba622c17bd2?pvs=4
Sujets abordés
- Python : rappels sur la récursion + programmation orientée objets
- Introduction aux problèmes de satisfaction de contraintes et à la programmation par contraintes
- Problèmes des n dames et différentes méthodes de résolution
- Recherche en profondeur naïve
- Recherche en profondeur avec élagage
- Arbre de recherche / espace de recherche
- Exercices d'approfondissement
-
Pour celles et ceux ont manqué la première session
- Le matériel de cours se trouve sur une autre plateforme que Moodle (cf. session 1 pour les infos de connexion)
- Il est avantageux d'installer Chrome (Chromium) dans votre box Ubuntu (ou mettre à jour Firefox), car le Firefox que vous avez est périmé et ne permet notamment pas de redimensionner l'éditeur de code intégré à la plateforme pour l'avoir en plein écran.
- J'ai libéré les solutions des parties vues la dernière fois dans la session 1
Débogage avec WebTigerPython
Durant la session, nous utiliserons le débogueur intégré à https://test.webtigerpython.ethz.ch/ pour comprendre la recherche exhaustive des solutions du problème des n dames récursivement.
Visualisation interactive des solutions en plein écran (pour ceux qui n'ont pas Chromium installé)
-
- Pour celles et ceux qui étaient absents le 8 février, nous reprendrons les bases du solveur ToyCSP pour bien comprendre son fonctionnement et pour l'améliorer
- Nous continuerons la modélisation de la résolution de Sudokus avec des variables entières {0..9}
-
