Mathematization in teaching pumping lemmas

Proceedings - Frontiers in Education Conference, FIE

Volumn , Issue , 2013, Pages 1671-1677

  Smith, Thérèse ^a   McCartney, Robert ^a  

^a University of Connecticut   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEXITY CLASS; COMPUTING DISCIPLINES; PUMPING LEMMA; REASONING PROCESS; THEORY OF COMPUTATION;

PUMPS; STUDENTS;

PROBLEM SOLVING;

EID: 84893230371     PISSN: 15394565     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FIE.2013.6685122     Document Type: Conference Paper

References (36)

1. Sipser, Michael. 2013. Introduction to the Theory of Computation. Cengage.
2. Devlin, Keith. 2013. Introduction to Mathematical Thinking. Keith Devlin.
3. Krantz, Steven G. 1999. How to Teach Mathematics, 2nd ed. American Mathematical Society.
4. Reid, D. A. with Christine Knipping. 2010. Proof in Mathematics Education. Sense.
5. Crouch, C. and E. Mazur. Sept. 2001. "Peer instruction: Ten years of experience and results," American Journal of Physics, vol. 69, p. 970.
6. Bloom, B. S. Jun.-Jul. 1984. "The 2 sigma problem: The search for methods of group instruction as effective as one-to-one tutoring," Educational Researcher, vol. 13, no. 6, pp. pp. 4-16.
7. Meyers, C. and T. Jones. 1993. Promoting Active Learning. Strategies for the College Classroom. ERIC.
8. https://moodle.org. Accessed: 19 June 2013.
9. Lasry, N., E. Mazur, and J. Watkins. 2008. "Peer instruction: From Harvard to the two-year college," American Journal of Physics, vol. 76, no. 11, pp. 1066-1069.
10. C. Bailey-Lee, http://www.peerinstruction4cs.org/. Accessed: 19 June 2013.
11. Porter, L., C. Lee, B. Simon, and D. Zingaro. 2011. "Peer instruction: do students really learn from peer discussion in computing," in Proceedings of the Seventh International Workshop on Computing Education Research. ACM, pp. 45-52.
12. ocw.mit.edu/courses/electrical-engineering-and-computer-science/ 6-045j-automata-computability-and-complexity-spring-2011/. Accessed: 19 June 2013.
13. Bishop, Christopher M. 2006. Pattern Recognition and Machine Learning. Springer.
14. Anderson, L. and L. Sosniak, eds. 1994. Excerpts from the "Taxonomy of Education Objectives, The Classification of Educational Goals, Handbook I: Cognitive domain". University of Chicago Press, ch. II, pp. 9-27.
15. Fagan, A. P. 2003. "Assessing and enhancing the introductory science course in physics and biology: Peer instruction, classroom demonstrations, and genetics vocabulary," https://mazur-www.seas.harvard.edu/publications/Pub 405.pdf.
16. Franklin, J. and A. Daoud. 1996, 2011. "Proof in mathematics: An introduction," web.maths.unsw.edu.au/~jim/proofsch2.pdf Accessed: 19 June 2013.
17. Epp, Susanna S. 2004. Discrete Mathematics with Applications, 3rd ed. Thomson.
18. Rosen, Kenneth H. 2003. Discrete Mathematics and Its Applications, 5th ed. McGraw Hill.
19. Bridges, D. S. "Did Brouwer really believe that?" https://files.nyu.edu/eo1/public/Book-PDF/OkonBrouwer.pdf Accessed: 19 June 2013.
20. Mattuck, Arthur. 1999. Introduction to Analysis. Prentice Hall.
21. Velleman, D. J. 1998. How to Prove It. Cambridge University Press.
22. Devlin, Keith. 2012. Introduction to Mathematical Thinking. Keith Devlin.
23. Weidmann, Phoebe K. 2003. "Science education perceptions of teaching and learning automata theory in a college-level computer science course a thesis," Ph.D. dissertation, The University of Texas at Austin.
24. Harel, Idit and Seymour Papert, eds. 1991. Constructionism. Ablex Publishing.
25. Reid, D. A. and C. Knipping. 2010. Proof in mathematics education. Sense Publishers.
26. Martzloff, J.-C. and J.-C. Martzloff. 1997, 2006. A history of Chinese Mathematics. Springer Berlin Heidelberg New York.
27. Simon, Beth and Q. Cutts. Feb. 2012. "Peer instruction: a teaching method to foster deep understanding," Commun. ACM, vol. 55, no. 2, pp. 27-29.
28. Pillay, N. 2010. "Learning difficulties experienced by students in a course on formal languages and automata theory," ACM SIGCSE Bulletin, vol. 41, no. 4, pp. 48-52.
29. Hüttel, H. and K. Nørmark. 2012. "Experiences with web-based peer assessment of coursework," in Proceedings of the 4th International Conference on Computer Supported Education-CSEDU.
30. Arnoux, P. and A. Finkel. 2010. "Using mental imagery processes for teaching and research in mathematics and computer science," International Journal of Mathematical Education in Science and Technology, vol. 41, no. 2, pp. 229-242.
31. Xing, C. 2010. "A graphical framework for assisting proofs," Journal of Computing Sciences in Colleges, vol. 25, no. 5, pp. 48-57.
32. Simon, Beth and Q. Cutts. June 2012. "How to implement a peer instruction-designed CS principles course," ACM Inroads, vol. 3, no. 2, pp. 72-74.
33. Chase, J. and E. Okie. 2000. "Combining cooperative learning and peer instruction in introductory computer science," in ACM SIGCSE Bulletin, vol. 32, no. 1. ACM, pp. 372-376.
34. Pargas, R. and D. Shah. 2006. "Things are clicking in computer science courses," in ACM SIGCSE Bulletin, vol. 38, no. 1. ACM, pp. 474-478.
35. Kennedy, G. and Q. Cutts. 2005. "The association between students' use of an electronic voting system and their learning outcomes," Journal of Computer Assisted Learning, vol. 21, no. 4, pp. 260-268.
36. https://piazza.com. Accessed: 18 June 2013.