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