top of page

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.

​

Politiques de confidentialité : Aucune donnée personnelle n'est collectée, Nous n'utilisons pas de cookies

Le contenu de ce sîte n'entraîne que la seule responsabilité de l'auteur serge MENEUT  Début de création 1/09/2016 fin 16/03/2017 (Rev. 2026)

bottom of page