Algorithmique : raisonner pour concevoir - download pdf or read online

By Christophe Haro

ISBN-10: 2746048442

ISBN-13: 9782746048447

Show description

Read Online or Download Algorithmique : raisonner pour concevoir PDF

Similar french_1 books

Additional info for Algorithmique : raisonner pour concevoir

Sample text

Essayons en langage PHP par exemple. php’) ; # Échange les valeurs de ses paramètres. php’) ; # Écrit les valeurs des paramètres. php /** * Échanger les valeurs de "$a" et "$b".  Cette procédure est donc déclarée à l’aide du mot function. L’exécution du script principal qui appelle cette procédure et la procédure ecrire donne les résultats suivants : Principal avant échange : A = 17 Principal après échange : A = 17 B = 21 B = 21 ce qui, manifestement, n’est pas ce qui est attendu. Pour comprendre ce qui se passe, ajoutons dans la procédure echanger les mêmes instructions de trace : function echanger($a, $b) { ecrire(’Échanger ’, $a, $b) ; $temp = $a ; $a = $b ; $b = $temp ; ecrire(’Échanger ’, $a, $b) ; } Cette fois, le résultat de l’exécution est : - 4- © ENI Editions - All rigths reserved Principal Échanger Échanger Principal avant avant après après échange échange échange échange : : : : A A A A = = = = 17 17 21 17 B B B B = = = = 21 21 17 21 Ainsi, on constate que la procédure d’échange s’acquitte correctement de sa tâche et réalise bien ce qui a été prouvé plus haut.

En effet, pour tout réservoir on a : 0 ≤ contenance ≤ capacité et cette condition doit rester toujours vraie, dans tous les états du système logiciel.  Cet invariant caractérise un réservoir, quel qu’il soit et à tout instant de son cycle de vie, pour tout état du système. Pour marquer qu’il s’agit là d’une propriété permanente, qui ne dépend pas de l’état d’un réservoir particulier, mais qui caractérise le type RÉSERVOIR, on la précise dans la définition du type, comme ceci : type RÉSERVOIR structure capacité : RÉEL contenance : RÉEL invariant 0 ≤ contenance ≤ capacité fin RÉSERVOIR - 8- © ENI Editions - All rigths reserved Cette condition doit toujours être vérifiée, dans la précondition, pendant l’exécution de l’algorithme et dans la postcondition.

Comme son nom l’indique, elle permet de procéder au choix d’un traitement, parmi plusieurs possibles, selon des conditions établies en fonction du contexte et des données à traiter. La deuxième section présente l’alternative, à l’aide d’un exemple trivial décliné en plusieurs versions. Le but est d’exposer l’utilisation de la nouvelle construction en précisant le vocabulaire. La troisième section présente des exercices résolus et la dernière des exercices d’application.  Elle ne fait que la présenter, à l’aide d’un exemple dont les différentes versions permettent de préciser quelques points de méthode.

Download PDF sample

Algorithmique : raisonner pour concevoir by Christophe Haro


by Charles
4.4

Rated 4.72 of 5 – based on 6 votes