Diplômes intégrant cet élément pédagogique :
Organisation de l'enseignement :
Descriptif
La maîtrise de la recherche de solutions algorithmiques et de la programmation s'appuie sur l'étude des langages et moyens d'expression utilisés en informatique et sur la compréhension des modèles de calcul sous-jacents.
Programme résumé du cours de validation d'algorithme :
1. Modèles de calcul et expressivités :
a. Automates à états finis et rappel sur langages réguliers
b. Automates à pile et rappel sur les langages algébriques
c. Machines de Turing
d. Problèmes indécidables
2. Correction et analyse d'algorithmes :
a. Preuve d'invariants
b. Preuve de terminaison
c. Evaluation de coûts
Compétences visées
- Analyser formellement un problème algorithmique et construire une solution algorithmique quand possible
- Analyser des algorithmiques (correction, terminaison, coût)
- Vérifier des programmes en utilisant des méthodes logiques : préconditions-postconditions, recherche d'invariants, automatisation des preuves.
- Valider un logiciel à l'aide des tests: test boite-noire, test boite-blanche, recherche des données de tests, test appliqué aux logiciels réactifs.
Informations complémentaires
Méthode d'enseignement : En présenceLieu(x) : Grenoble
Langue(s) : Français
En bref
Période : Semestre 6Crédits : 3
Code Apogée : BIE6U02
Contact(s)
Raphael Charrondiere
Jean-Marc Vincent
Etudiants internationaux
Crédits : 0.0