La logique informatique
(selon les travaux de J.D WARNIER)
Introduction à la logique informatique
Tout à chacun sait que l'informatique pourrait se définir comme suit :
L'informatique est la Science de l'organisation , du traitement du stockage et de la transmission de données. (Jean-Dominique WARNIER 1970)
Partant de cette définition il est aisé de penser que le souci premier qui nous vient à l'esprit est l'organisation des données (à traiter et traitantes), soucis que J.D WARNIER n'a eu de cesse de mettre en lumière toute sa vie durant.
Tous les travaux de JD WARNIER ont consistés simplement (si l’on peut dire) à découvrir les démarches logiques qui permettraient de découvrir tous les fichiers (ensembles) de données ( traitantes ou traitées ) et leurs contenus, pour un système défini afin d'obtenir les données de sortie souhaitées.
Voilà résumé en quelques lignes le pourquoi de 50 années de travail acharné !
Évidemment d’aucun pourrait dire (passez-moi l’expression) qu’il à passer son temps à enfiler les mouches ! Personne n’a attendu JDW pour faire des programmes ou créer sa base de données. Certes, mais qu’est-ce que ce serait confortable pour l’esprit, d’avoir un outil qui permettrait de vérifier notre bon sens ou mieux encore, que les outils issus de ces recherches, nous permettent :
· de créer
- des programmes clairs et facilement transformables + (zéro faute) , (LCP)
- des bases de données d’une clarté limpide et facilement modifiable, (LCS, LCO)
· D'exprimer nos besoins en données de façon précise et claire pour tous, (LDR)
· De dormir enfin sur nos deux oreilles !
Mais attention tout ceci n'est possible que si vous acceptez cet Axiome de départ :
Un ensemble au sens mathématique du terme se définie soit :
- Par compréhension, c'est à dire en faisant la liste exhaustive de toutes les propriétés que doit détenir tout élément pour appartenir à l'ensemble.
- Par extension, c'est à dire en faisant la liste de tous les éléments contenus dans l'ensemble.
Dans le cas où vous n'accepteriez pas cet axiome, alors ne continuez pas, vous allez perdre votre temps !!!
Toute Collection de données doit être considérée comme un ensemble
au sens mathématique du terme.