Cours Turing - Année 2
Weekly outline
-
-
Nous aimerions beaucoup recueillir ton avis sur ce premier module du cours!
Merci d'avance de prendre 5 minutes pour répondre au questionnaire (anonyme). -
Nous aimerions beaucoup recueillir ton avis sur ce deuxième module du cours!
Merci d'avance de prendre 5 minutes pour répondre au questionnaire (anonyme).
-
-
TL;DR:
git clone https://github.com/sweng-epfl/turing -
Optionnel, si cela vous intéresse. Lié aux cours sur la conception et sur les interfaces utilisateur.
-
-
Introduction + Infrastructure (gestion de versions, git, intégration continue)
-
Tests (comment s'assurer qu'un code est correct?)
-
Interfaces graphiques et utilisations d'APIs externes
-
Travail en équipe et contribution à l'open source
-
-
Ce repo GitHub contient la théorie et les exercices du module de programmation fonctionnelle. Clonez le avec
git clone https://github.com/PierreQuinton/FunProg
-
-
Principes fonctionnels
-
programme encore à définir, en salle INF 3
-
Récapitulation des cours précedents
-
Objets de types fonctionnels
-
Peu de variables, peu de lignes de code
-
Gros changements de structure
-
Projet
-
- Informations et organisation du cours : https://level-parent-bac.notion.site/Cours-Turing-page-d-accueil-2026-3131f836158880ad90c7ebac51580a62
- Plateforme de cours : https://courses.21-learning.com/runestone/books/published/turing-opt-2026/index.html
- Usernames ci-dessous (mot de passe = Opt$2026)
- Pour changer votre mot de passe : https://courses.21-learning.com/runestone/default/user/change_password
-
Introduction: exemples de problèmes de satisfaction de contraintes et optimisation sous contraintes (problème des n dames)
Recherche exhaustive des solutions
-
Approches plus intelligentes pour la résolution de problèmes
Approches heuristiques
-
Variables / domaines / contraintes / propagation de contraintes
-
Autres problèmes de satisfaction de contraintes (sudoku, ...)
Structures de données: piles / files / listes chaînées
-
Solveurs optimisés
-
Solveurs optimisés (suite)
-
Approches hybrides
-
Modélisation de problèmes réalistes
