2 Citations
Application of computer science ideas to the presentation of mathematical theorems and proofs
- Computer ScienceSGCS
- 2003
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.
- 2002
References
SHOWING 1-4 OF 4 REFERENCES
Data Structures and Algorithms
- Computer Science
- 1983
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
- 1979
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…