Get Algorithmique : raisonner pour concevoir PDF

By Christophe Haro

ISBN-10: 2746048442

ISBN-13: 9782746048447

Show description

Read or Download Algorithmique : raisonner pour concevoir PDF

Best french_1 books

Download e-book for kindle: Le sourire des oiseaux by Jules Masson Mourey

Pour son optimum ouvrage litteraire, publie a vingt ans, Jules Masson Mourey fait appel aux fantomes d'Arthur Rimbaud, Aime Cesaire, Lewis Carroll ou encore Boris Vian pour composer un bouquet de textes poetiques aux formes inegales ou transparait, sans limites d'espace ni de temps, une singuliere et violente puissance d'evocation.

Extra info for Algorithmique : raisonner pour concevoir

Example text

Elle sera complétée dans les chapitres suivants. Les données du problème sont constituées, d’une part, d’un millésime et, d’autre part, d’une date invariable : le 1er Mai.  Ce sera fait plus bas.  on se donne une année de référence dont on connaît le jour du 1er Mai ; 2. pour une année donnée, on calcule le nombre de jours de décalage par rapport au jour du 1er Mai de l’année de référence. © ENI Editions - All rigths reserved - 11 - Nous choisirons une année reculée, qui constituera la borne inférieure du domaine des millésimes et permettra donc d’exprimer la précondition sur cette donnée.

Ainsi, bis = quotient(an, 4) uniquement si un décalage de 1, 2 ou 3 jours ne donne pas d’année bissextile, donc si les années millésime+1, millésime+2 et millésime+3 ne sont pas bissextiles. Comme il y a une année bissextile tous les quatre ans « à quelque chose près », il suffit de choisir une année de référence bissextile.  En fait, les années qui marquent la limite d’un siècle ne sont pas bissextiles, sauf celles dont les deux premiers chiffres forment un nombre multiple de 4. Autrement dit un millésime multiple de 400 est une année bissextile.

0 Algorithme estPlein # r est-il plein ?  C’est ce qu’exprime l’affectation de la variable Résultat qui prend pour valeur celle du prédicat à droite du symbole d’affectation.  Encore une fois, la signature de la fonction, complétée de la précondition et de la postcondition suffit à la définir. Les deux fonctions estVide et estPlein sont deux prédicats qui admettent la même précondition.  En particulier, la condition qu’elle exprime est encore vraie lorsque l’algorithme se termine et retourne son résultat.

Download PDF sample

Algorithmique : raisonner pour concevoir by Christophe Haro


by Daniel
4.0

Rated 4.27 of 5 – based on 29 votes