Application of computer science ideas to the presentation of mathematical theorems and proofs
- Computer ScienceSGCS
This paper illustrates how it is possible to apply methodologies from computer science, used in the development and presentation of computer programs, for the presentation of mathematical theorems and proofs through stepwise refinement, abstraction, and program verification.
The reflective practitioner perspective in software engineering education
- EducationJ. Syst. Softw.
SHOWING 1-3 OF 3 REFERENCES
Towards a Theory of Mathematical Research Programmes (II)
- MathematicsThe British Journal for the Philosophy of Science
The main aim of the methodology of scientific research programmes (henceforth MSRP) is to set out clear, general desiderata for distinguishing between progressive and degenerating science which are…