top of page
La logique informatique
(selon les travaux de J.D WARNIER)
Both mathematical laws that J.D WARNIER used for all of its work
All data set must be defined by understanding
ie: we must (for all data set), do list all the properties that must hold every element belonging to the set.
When two sets are put in relation, this one must be an application.
ie: That every element of the start set, should match one and only one element in the arrival set.
bottom of page