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-4 OF 4 REFERENCES
Data Structures and Algorithms
- Computer Science
The basis of this book is the material contained in the first six chapters of the earlier work, The Design and Analysis of Computer Algorithms, and has added material on algorithms for external storage and memory management.
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…