La logique informatique
(selon les travaux de J.D WARNIER)
L.C.P Logic of Programs construction
A little thought before you start. Having had the opportunity to teach L.C.P (to adults), I often began my courses with this remark:
The hardest part is not learning, but changing his habits !
And then, beware, the use of the concepts that follow, can convince and thus be used only if and only if, the following two axioms are accepted:
- Any collection of data constitue a set in the mathematical sense of the term.
- Any program is a set of data intended to cause the execution of functions.
Thank you for agreeing with me, and JD WARNIER of course.
However, before getting to the heart of the matter, I have to tell you the different ways of defining a set :
- By understanding, ie by providing all the characteristics (or properties) that must hold any element to belong to the set.
- By extension, ie in doing the complete list of elements.
I will insist on defining of a data set in understanding, for what enables us to know exactly what we are doing and what we are working on, this is the notion of such an important repository that will guide us all Along our journey in computer logic.
Well, now let's get to work:
Here are the steps to build a program:
1 °) Define the desired data at the output of the program.
2 °) Determine the input data
3 °) Define the structure of the program
4 °) Write the instructions of the program
5 °) Determine the program tests
I do not teach anyone anything, but I have to say ...
Let's define the output data of the program. (Logical Output File)