La logique informatique
(selon les travaux de J.D WARNIER)
L.C.P Logic of Programs construction
There are two ways of defining the data to get at the output of a program, the right one and the wrong one !
So let's first look at the bad : Expressed as a model "printed report or screen model or ....)
A model like this expresses the form in which data are to be appear, but in no case (except in very simple cases such as this one), we see the hierarchical structure of the data sets, and the conditions under which they should appear.
Before seeing the good one, let's see how to express graphically a set, a subset, Etc ...
In this solution, it is quickly limited as soon as there are several subsets included !, and not easy to include notations.
1. Customer Nb
Name of customer
2. Order N°
Date
Designation
Amount
In this solution, we do not clearly see the hierarchization of the sets.
Then, we will choose the braces as a means, to representing
a hierarchical subdivision.
Example with both green and blue potatoes:
The S-Set B is included in Set A
Let us now look at the right solution :