''algorithmique ; raisonner pour concevoir'' by Christophe Haro PDF

By Christophe Haro

ISBN-10: 2746048442

ISBN-13: 9782746048447

Show description

Read Online or Download ''algorithmique ; raisonner pour concevoir'' PDF

Best french_1 books

New PDF release: Politics in France and Europe

This ebook deals an in-depth research of political lifestyles in France and Europe at first of the twenty first century at a time of swap and challenge. Encompassing questions about values, political actors and electoral offerings, it truly is devoted quite to students and scholars enrolled in comparative politics courses.

Extra info for ''algorithmique ; raisonner pour concevoir''

Example text

C’est aussi un nombre décimal positif, éventuellement nul si le réservoir ne contient rien. Par conséquent, un RÉSERVOIR informatique est une structure de données qui rassemble indissociablement ces deux nombres pour en faire un réservoir. Elle est définie ainsi : type RÉSERVOIR structure capacité : RÉEL contenance : RÉEL fin RÉSERVOIR Lorsque nous aurons besoin de définir une variable de type RÉSERVOIR, nous écrirons : # Dé c laration d’un variable de type R ÉS E R V O I R. contenance <- 0 # Initialise la capacité de r à 1000 litres.

Cette correction suppose essentiellement le maintien de l’invariant de type, mais elle n’est pas plus difficile à établir que celle de ajouter. Exercice 5 : Correction des algorithmes précédents Démontrer que les algorithmes remplir et vider maintiennent l’invariant du type RÉSERVOIR.  Il est fait de trois états fondamentaux : VIDE, PLEIN et un état dans lequel le réservoir n’est ni vide ni plein. Exercice 6 : Diagramme d’états d’un réservoir Construire le diagramme d’états d’un réservoir.  Il n’est pas entièrement résolu, mais ce chapitre a déjà abordé quasiment toutes les connaissances nécessaires pour en donner une solution complète.

L’élaboration d’un algorithme se décompose en deux phases qui ne doivent pas être confondues. La spécification précise ce que fait l’algorithme sans dire comment il le fait. La spécification d’un algorithme fait partie de sa documentation. Elle est composée de la signature du module logiciel, de la précondition et de la postcondition. La définition de l’algorithme exprime par des instructions comment il réalise son calcul.  Elles doivent être simultanément VRAIEs pour que l’algorithme effectue un calcul « juste » pour produire les résultats attendus.

Download PDF sample

''algorithmique ; raisonner pour concevoir'' by Christophe Haro


by Thomas
4.3

Rated 4.28 of 5 – based on 7 votes