Enseignements 2015/2016
UP
Algorithmes et structures de données pour l'indexation de grands volumes de données textuelles
Approches formelles pour la qualité logicielle
Précis de logique par David Gries
Programmes séquentiels corrects par construction (i) théorie
Programmes séquentiels corrects par construction (ii) exemples
Multiprogrammes corrects par construction
Construction de spécifications par vérification de modèles
Alloy
Exemples Alloy (Plateforme et Hotel)
Projet: Spécification d'un système de livraison par drônes
Intelligence artificielle
Heuristiques pour la recherche dans un espace d'états
(
source
org-mode)
Formalisation et complexité combinatoire - symétries
(
source
org-mode)
Formalisation et complexité combinatoire - équivalence
(
source
org-mode)
Recherche locale itérative
(
source
org-mode)
Algorithme PageRank
Code source Mathematica
Projet Mathematica
lisible avec le
CDF Player