Skip to main content
SpringerLink
Log in

Basic proof skills of computer science students

  • From Transistors to Computer Architecture
  • Conference paper
  • First Online:
Funtional Programming Languages in Education (FPLE 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1022))

Abstract

Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the skills of our students, we have asked them to work out a number of exercises. We found that our students are not as well trained in basic proof skills as we would have hoped. The main reason is that proof skills are not emphasized enough. Our findings are the result of a small experiment using a longitudinal measurement of skills. This method gives better insight in the skills of students than more traditional exam-based testing methods. Longitudinal measurement does not allow the students to specifically prepare themselves for particular questions. The measurements thus relate to skills that are retained for a longer period of time.

In our Department, fierce debates have been held in the past discussing such issues as “what proof skills do our students have?”. An important aspect of our work is that it tries to find evidence to help answer to such questions. Research such as ours is rare in the field of teaching mathematics and computer science.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. S. Bird and P. L. Wadler. Introduction to functional programming. Prentice Hall, New York, 1988.

    Google Scholar 

  2. A. J. Field and P. G. Harrison. Functional programming. Addison Wesley, Reading, Massachusetts, 1988.

    Google Scholar 

  3. D. Gries. Improving the curriculum through the teaching of calculation and discrimination. Education and computing, 7(1,2), 1991.

    Google Scholar 

  4. R. Harrison. The use of functional programming languages in teaching computer science. J. functional programming, 3(1):67–75, Jan 1993.

    Google Scholar 

  5. P. H. Hartel and L. O. Hertzberger. Paradigms and laboratories in the core computer science curriculum: An overview. Technical report CS-95-03, Dept. of Comp. Sys, Univ. of Amsterdam, Jan 1995.

    Google Scholar 

  6. J. L. Hein. A declarative laboratory approach for discrete structures, logic and computability. ACM SIGCSE bulletin, 25(3):19–24, Sep 1993.

    Google Scholar 

  7. P. B. Henderson and F. J. Romero. Teaching recursion as a problem-solving tool using standard ML. In R. A. Barrett and M. J. Mansfield, editors, 20th Computer science education, pages 27–31, Louisville, Kentucky, Feb 1989. ACM SIGCSE bulletin, 21(1).

    Google Scholar 

  8. E. L. Lehman. Nonparametrics: Statistical methods based on ranks. Holden & Day, San Francisco, Calofornia, 1975.

    Google Scholar 

  9. C. Morgan. Programming from specifications. Prentice Hall, Hemel Hempstead, England, 1990.

    Google Scholar 

  10. D. L. Parnas. Education for computing professionals. Computer, 23(1):17–22, Jan 1990.

    Google Scholar 

  11. S. L. Peyton Jones. The implementation of functional programming languages. Prentice Hall, Englewood Cliffs, New Jersey, 1987.

    Google Scholar 

  12. E. S. Tan. A stochastic growth model for the longitudinal measurement of ability. PhD thesis, Dept. of Maths. and Comp. Sys, Univ. of Amsterdam, Dec 1994.

    Google Scholar 

  13. Th. J. M. (Dick) Tromp. The acquisition of expertise in computer programming. PhD thesis, Dept. of Psychology, Univ. of Amsterdam, Sep 1989.

    Google Scholar 

  14. A.J. Turner. A summary of the ACM/IEEE-CS joint curriculum task force report: Computing curricula 1991. CACM, 34(6):69–84, Jun 1991.

    Google Scholar 

  15. A. G. van Asch. To prove, why and how? Int. J. Mathematical education in science and technology, 24(2):301–313, Mar 1993.

    Google Scholar 

  16. J. F. A. K. van Benthem, H. P. van Ditmarsch, J. Ketting, and W. P. M. Meyer-Viol. Logica voor Informatici. Addison-Wesley Nederland, Amsterdam, 1991.

    Google Scholar 

  17. K. van den Berg. Software measurement and functional programming, PhD thesis, Twente technical Univ., Jun 1995.

    Google Scholar 

  18. P. L. Wadler. How to replace failure by a list of successes, a method for exception handling, backtracking, and pattern matching in lazy functional languages. In J.-P. Jouannaud, editor, 2nd Functional programming languages and computer architecture, LNCS 201, pages 113–128, Nancy, France, Sep 1985. Springer-Verlag, Berlin.

    Google Scholar 

  19. R. L. Wainwright. Introducing functional programming in discrete mathematics. In M. J. Mansfield, C. M. White, and J. Hartman, editors, 23rd Computer science education, pages 147–152, Kansas, Missouri, Mar 1992. ACM SIGCSE bulletin, 24(1).

    Google Scholar 

  20. U. Wolz and E. Conjura. Integrating mathematics and programming into a three tiered model for computer science education. In D. Joyce, editor, 25th Computer science education, pages 223–227, Phoenix, Arizona, Mar 1994. ACM SIGCSE bulletin, 26(1).

    Google Scholar 

Download references

Author information

Author notes

  1. Dick Tromp

    Present address: Dick Tromp Formerly at SCO-KIOO, Foundation Centre for Education Research at the University of Amsterdam, The Netherlands

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, University of Amsterdam, Kruislaan 403, 1098, SJ Amsterdam, The Netherlands

    Pieter H. Hartel & Bert van Es

Authors
  1. Pieter H. Hartel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bert van Es
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dick Tromp
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pieter H. Hartel Rinus Plasmeijer

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hartel, P.H., van Es, B., Tromp, D. (1995). Basic proof skills of computer science students. In: Hartel, P.H., Plasmeijer, R. (eds) Funtional Programming Languages in Education. FPLE 1995. Lecture Notes in Computer Science, vol 1022. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60675-0_50

Download citation

  • DOI: https://doi.org/10.1007/3-540-60675-0_50

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60675-8

  • Online ISBN: 978-3-540-49252-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation