Use and assessment of a rigorous approach to CS1

ABSTRACT

We have developed and implemented a "rigor-first" approach to CS1 instruction, in which we introduce rigorous techniques for understanding algorithms alongside associated programming skills. This core material is developed through a number of engaging problems from more advanced courses in computer science and other natural sciences. These principles are continued in CS2, and the two courses form our "3-2-1" first-year sequence: three programming paradigms and two models of program execution are explored on a single platform. This article discusses the design of our CS1 course, its role in the computer science curriculum, and our experiences with it. Preliminary assessment suggests this approach has merit in our curriculum.

REFERENCES

• 1: Harold Abelson , Gerald J. Sussman , Julie Sussman, Structure and Interpretation of Computer Programs, MIT Press, Cambridge, MA, 1996
• 2: Doug Baldwin , Greg Scragg , Hans Koomen, A three-fold introduction to computer science, Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, p.290-294, March 10-12, 1994, Phoenix, Arizona, United States
• 3: J.W. Berry. Thoughts on the first year of computer science instruction. unpublished, available at http://www.cs.duke.edu/csed/fyi/berry.pdf, 2000.
• 4: Kim B. Bruce , Robert L. Scot Drysdale , Charles Kelemen , Allen Tucker, Why math?, Communications of the ACM, v.46 n.9, September 2003 [doi>10.1145/903893.903918]
• 5: Henrik Bærbak Christensen , Michael E. Caspersen, Frameworks in CS1: a different way of introducing event-driven programming, Proceedings of the 7th annual conference on Innovation and technology in computer science education, June 24-28, 2002, Aarhus, Denmark
• 6: Stephen Cooper , Wanda Dann , Randy Pausch, Teaching objects-first in introductory computer science, Proceedings of the 34th SIGCSE technical symposium on Computer science education, February 19-23, 2003, Reno, Navada, USA
• 7: James D. Foley , Richard L. Phillips , John F. Hughes , Andries van Dam , Steven K. Feiner, Introduction to Computer Graphics, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1994
• 8: Cary G. Gray , Michael D. Frazier, Introducing computer science after programming, Journal of Computing Sciences in Colleges, v.18 n.1, p.65-76, October 2002
• 9: David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987
• 10: Max Hailperin , David Arnow , Judith Bishop , Chester Lund , Lynn Andrea Stein, Concurrency the first year (panel session): experience reports, Proceedings of the thirty-first SIGCSE technical symposium on Computer science education, p.407-408, March 07-12, 2000, Austin, Texas, United States
• 11: Paul Havlak, Construction of Thinned Gated Single-Assignment Form, Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing, p.477-499, August 12-14, 1993
• 12: Peter B. Henderson, Mathematical reasoning in software engineering education, Communications of the ACM, v.46 n.9, September 2003 [doi>10.1145/903893.903919]
• 13: Peter B. Henderson , Doug Baldwin , Venu Dasigi , Marcel Dupras , Jane Fritz , David Ginat , Don Goelman , John Hamer , Lew Hitchner , Will Lloyd , Bill Marion, Jr. , Charles Riedesel , Henry Walker, Striving for mathematical thinking, Working group reports from ITiCSE on Innovation and technology in computer science education, December 01, 2001, Canterbury, UK [doi>10.1145/572133.572136]
• 14: Kris Howell, First computer languages, Journal of Computing Sciences in Colleges, v.18 n.4, p.317-331, April 2003
• 15: J. Margolis and A. Fisher. Unlocking the Clubhouse: Women in Computing. MIT Press, 2003.
• 16: D. Mount. Bioinformatics. Cold Spring Harbor, 2001.
• 17: Steven S. Muchnick, Advanced compiler design and implementation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1998
• 18: CORPORATE The Joint Task Force on Computing Curricula, Computing curricula 2001, Journal on Educational Resources in Computing (JERIC), v.1 n.3es, Fall 2001 [doi>10.1145/384274.384275]
• 19: Yale N. Patt , Sanjay J. Patel, Introduction to Computing Systems: From bits & gates to C & beyond, McGraw-Hill, Inc., New York, NY, 2003
• 20: Andrew T. Phillips , Daniel E. Stevenson , Michael R. Wick, Implementing CC2001: a breadth-first introductory course for a just-in-time curriculum design, Proceedings of the 34th SIGCSE technical symposium on Computer science education, February 19-23, 2003, Reno, Navada, USA
• 21: Eric S. Roberts, A C-based graphics library for CS1, Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, p.163-167, March 02-04, 1995, Nashville, Tennessee, United States
• 22: Stephen Schaub, Teaching Java with Graphics in CS1, ACM SIGCSE Bulletin, v.32 n.2, p.71-73, June 2000 [doi>10.1145/355354.571919]
• 23: Allen B. Tucker , Charles F. Kelemen , Kim B. Bruce, Our curriculum has become math-phobic!, Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education, p.243-247, February 2001, Charlotte, North Carolina, United States
• 24: Allen B. Tucker, Ensuring a rigorous curriculum: practices and goals, Journal of Computing Sciences in Colleges, v.17 n.6, p..16-.16, May 2002
• 25: Allen B. Tucker , Charles F. Kelemen , Kim B. Bruce, Our curriculum has become math-phobic!, Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education, p.243-247, February 2001, Charlotte, North Carolina, United States
• 26: Henry M. Walker , G. Michael Schneider, A revised model curriculum for a liberal arts degree in computer science, Communications of the ACM, v.39 n.12, p.85-95, Dec. 1996 [doi>10.1145/240483.240502]
• 27: Ursula Wolz , Edward Conjura, Integrating mathematics and programming into a three tiered model for computer science education, Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, p.223-227, March 10-12, 1994, Phoenix, Arizona, United States

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Computer science education

General Terms:
Design, Human Factors

Keywords:
CS1, gender, multi-paradigm, pedagogy, recursion, rigor, verification