Preuve et Notations asymptotiques

Ce module présente des méthodes qui permettent de « prouver un algorithme »,montre comment totaliser les coûts élémentaires dans le cas où le nombre de calculs est assez simple à évaluer,puis donne les définitions et les propriétés des notations asymptotiques utilisées en informatique.

Disciplines : Génie Logiciel  : Techniques de programmation, orientée objet, modulaire, structurée, fonctionnelle, logique, visuelle,Génie Logiciel  : Langage de programmation en général
Mots-clés : Terminaison d'un algorithme,Validité d'un algorithme,Évaluation du coût d'un calcul,Notations asymptotiques
Type de document : collection
Type de ressource : lecture,exercise
Niveau : higher education,licence,bac+1
Publics visés : learner
Activité induite : apprendre,s'exercer
Auteurs ou éditeurs : Karine Zampieri,Stéphane Rivière,Béatrice Amerein-Soltner,Université de Mulhouse,Unisciel