Computer science students' difficulties with proofs by induction: An exploratory study

Proceedings of the Annual Southeast Conference

Volumn 2006, Issue , 2006, Pages 601-608

  Polycarpou, Irene ^a  

^a Florida International University   (United States)

Author keywords

Inductive recursive definitions; Proofs by induction; Structural induction; Undergraduate computer science curricula

Indexed keywords

INDUCTIVE/RECURSIVE DEFINITIONS; PROOFS BY INDUCTION; STRUCTURAL INDUCTION; UNDERGRADUATE COMPUTER SCIENCE CURRICULA;

COMPUTER SCIENCE; CURRICULA; TEACHING;

STUDENTS;

EID: 34248342193     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1185448.1185579     Document Type: Conference Paper

References (25)

1. Alacaci, C., and Pasztor, A. Effects of flawed state assessment preparation materials on students' mathematical reasoning: A study. The Journal of Mathematical Behavior, 21 (2002), 225-253.
2. nd edition). Cambridge University Press, New York, NY, 2002.
3. Baker, D. Characterizing students' difficulty with proof by mathematical induction. Ph.D. Thesis, Indiana University, Bloomington, IN, 1995.
4. Best, E. (1996) Semantics of Sequential and Parallel Programs. Prentice Hall. New York, NY. 1996.
5. Borowski, E. J., and Borwein J. M. The Harper Collins Mathematics Dictionary. HarperCollins, New York, N.Y., 1991.
6. Bruce, K., Robert, L., Drysdale S., and Kelemen C. (2003). Why Math? Communication of the ACM, volume 46, issue 9, pp. 40-44. SPECIAL ISSUE: Why universities require computer science students to take math.
7. Brumfiel, C. A note on mathematical Induction. Mathematics Teacher, 67, 7 (Nov. 1974), 616-618.
8. Bundy, A., Harmelen, F., Hesketh, J., and Smaill, A. Experiments with proof plans for induction. Journal of Automated reasoning, 1, 3 (Sep. 1991), 303-324.
9. Computing Curricula 2001: Computer Science Volume (Dec. 2001). http://www.sigcse.org/cc2001
10. Cormen, T., Leiserson, C., Rivest, R., and Stein, C. Introduction to algorithms. Second edition. MIT press Cambridge, Massachusetts London, England, 2001.
11. CRAFTY Curriculum Foundation Project: Computer Science (Oct. 1999). http://www.mass.org/cupm/crafty/chapt5.pdf
12. Dubinsky, E. Teaching Mathematical Induction I. Journal of Mathematical Behavior, 5 (1986), 305-317.
13. Dubinsky, E. Teaching Mathematical Induction II. Journal of Mathematical Behavior, 8 (1989), 285-304.
14. Dubinsky, E. and Lewin, P. Reflective abstraction in mathematics education: The genetic decomposition of induction and compactness. Journal of Mathematical Behavior, 5 (1986), 55-92.
15. Ernest, P. Mathematical Induction: A pedagogical Discussion. Educational Studies in Mathematics, 15, 2 (May 1984), 173-189.
16. Holland-Minkley, A. Planning Proof Content for Communicating Induction. In Proceedings of Second International Natural Language Generation Conference, (2002), 167-172.
17. Hopcroft, J., Motwani, R., and Ullman, J. Introduction to automata theory. Second edition. Addison-Wesley, 2001.
18. Lowenthal, F. and Eisenberg, T. Mathematical Induction in School: An illusion of Rigor? School Science and Mathematics, 92, 5 (May/June 1992), 233-238.
19. Lynch, N. Distributed Algorithms. Morgan Kaufmann Publishers, Inc., San Francisco, CA, 1996.
20. Movshovitz-Hadar, N. Mathematical Induction: A Focus on the Conceptual Framework. School Science and Mathematics, 93, 8 (Dec.1993), 408-417.
21. Sheard, M. Induction the Hard Way. The American Mathematical Monthly, 150, 4 (Apr. 1998), 348-353.
22. Thompson, D. Learning and Teaching Indirect Proof. The Mathematics Teacher, 89, 6 (Sep. 1996), 474-481.
23. Undergraduate Programs and Courses in the Mathematical Science: CUPM Curriculum Guide 2004 (2004). http://www.maa.org/cupm/cupm2004.pdf
24. Weiss, M. Data Structures & Problem Solving Using Java. Pearson Education, Inc., Boston, MA, 2006.
25. Wu Yu, J. Reasoning Difficulty related to validity of arguments and truth of assertions in mathematics. Ph.D. Thesis, University of Pittsburgh, Pittsburgh, PA, 2000.