David Ginat
Abstract
The concept of combining loop invariants with algorithm analysis and design is a significant programming tool. However, teaching this concept is not easy. One way of motivating and supporting the introduction of such a concept, is by illustrating it with attractive examples. In this paper we describe how to illustrate it with mathematical games. In our description, we emphasize the links between heuristic search strategies, pattern exploration, induction, and invariant construction.
- 1 Aho, A., and Ulman J.D., Foundations of Computer Science, Freeman and Co., 1992. Google Scholar
Digital Library
- 2 Amow, D., Teaching programming to liberal arts students: Using loop invariants, Proc of the 24th Tech Synp on CS Education, March 1994. Google ScholarDigital Library
- 3 Astrachan, O., Loop invariants in pictures, Proc of the 22nd Tech Symp on CS Education, March 1991.Google Scholar
- 4 Bright, G.W., Harvey, J.G., and Wheeler, M.M., Game constraints, player verbalizations, and mathematical learning, The Journal of Experimental Education, 49, 1, 1980.Google ScholarCross Ref
- 5 Chi, M.T.H., and Bassok, M., Learning from examples via self-explanations, Knowing, Learning, and Instruction, Resnick, L.B, editor, Lawrence Erlbaum Associates, 1989.Google Scholar
- 6 Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, 1976. Google ScholarDigital Library
- 7 Floyd, R., Assigning meaning to programs, Mathematical Aspects of Computer Science, XIX American Mathematical society, 1967.Google ScholarCross Ref
- 8 Gries, D., The Science of Programming, Springer-Verlag, 1981. Google ScholarCross Ref
- 9 Hoare, C.A.R., An Axiomatic basis for computer programming, CA CM, 12, 5, May 1969. Google ScholarDigital Library
- 10 Manber, U., Using induction to design algorithms, CACM, 31,11, November 1988. Google ScholarDigital Library
- 11 Nesher, P., Microworlds in mathematical education: a pedagogical realism. Knowing, Learning, and Instruction, Resnick, L.B, editor, Lawrence Erlbaum Associates, 1989.Google Scholar
- 12 Polya, G., How to solve it, Princeton Univ Press, 1957.Google Scholar
- 13 Schoenfeld, A., Mathematical problem solving, Academic-Press, 1985.Google Scholar
- 14 Sclaoenfeld, A., Learning to think mathematically" problem solving, metacognition, and sense making in mathematics, Handbook of Ra~areh on Mathematics Teaching and Learning, Macmillan, 1992.Google Scholar
- 15 Tam, W., Teaching Loop Invariants to Beginners by examples, Proc of the' 23rd Tech Symp on CS Education, March 1992. Google ScholarDigital Library
- 16 Troeger, D., Experiences teaching loop invariants to beginners, Logic, Loops and Literacy Workshop, May 1993.Google Scholar
Index Terms
- Loop invariants and mathematical games
Recommendations
Loop invariants and mathematical games
SIGCSE '95: Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science educationThe concept of combining loop invariants with algorithm analysis and design is a significant programming tool. However, teaching this concept is not easy. One way of motivating and supporting the introduction of such a concept, is by illustrating it ...
Radial Zernike Moment Invariants
CIT '04: Proceedings of the The Fourth International Conference on Computer and Information TechnologyRadial Zernike moment invariants are special case from the complex Zernike moment invariants. The radial and angular dependence of Zernike moments is naturally separable which makes them very suitable features for achieving totational invarinces. The ...
Rotation and translation invariants of Gaussian-Hermite moments
Geometric moment invariants are widely used in many fields of image analysis and pattern recognition since their first introduction by Hu in 1962. A few years ago, Flusser has proved how to find the independent and complete set of geometric moment ...
Comments