top of page
La logique informatique
(selon les travaux de J.D WARNIER)
Voici les deux lois sur lesquelles J.D WARNIER s'est appuyé pour l'ensemble de ses travaux :
Tout ensemble doit être défini par compréhension.
C.à.d : On doit (pour tout ensemble), lister toutes les propriétés que doit détenir tout élément pour appartenir à l’ensemble.
Lorsque deux ensembles sont mis en relation, cette dernière doit être une application.
C.à.d : Qu’a tout élément de l’ensemble de départ, doit correspondre un et un seul élément dans l’ensemble d’arrivée.
bottom of page