La logique informatique
(selon les travaux de J.D WARNIER)
L.C.P Logique de construction de programmes
Il y a deux façon de définir les données à obtenir en sortie d'un programme, la bonne et la mauvaise !
​
Alors voyons d'abord la mauvaise : Exprimer sous forme d'un modèle "d'état ou d'écran ou ....)
Un modèle comme celui-ci exprime la forme sous laquelle on souhaite obtenir les données, mais en aucun cas (sauf sur des cas très simples comme celui-ci) on ne voit apparaître clairement la structure hiérarchique des ensembles de données, ni bien sûr les conditions sous lesquelles ils doivent apparaître.
Avant de voir la bonne , voyons comment exprimer graphiquement un ensemble, un sous-ensemble, Etc...
Dans cette solution, on est vite limité dès qu'il y a plusieurs S-E inclus ! et pas facile d'y inclure des notations.
1. Nr client
Nom Client
​
2. Nr Cde
Date
Désignation
Montant
​
Dans cette solution, on ne voit pas clairement la hiérarchisation des ensembles.
Alors nous allons choisir les accolades comme moyen de représentation d'une subdivision hiérarchique.
​
Exemple avec les deux patates verte et bleue :
