Basic Proof Skills of Computer Science Students

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.

[1]  Peter B. Henderson,et al.  Teaching recursion as a problem-solving tool using standard ML , 1989, SIGCSE '89.

[2]  E. Lehmann,et al.  Nonparametrics: Statistical Methods Based on Ranks , 1976 .

[3]  David Gries.  Improving the curriculum through the teaching of calculation and discrimination , 1991 .

[4]  Pieter H. Hartel,et al.  Paradigms and laboratories in the core computer science curriculum: an overview , 1995, SGCS.

[5]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[6]  Allen B. Tucker,et al.  A summary of the acm/ieee-cs joint curriculum task force report: computing curricula 1991 , 1991 .

[7]  Simon L. Peyton Jones,et al.  The Implementation of Functional Programming Languages , 1987 .

[8]  Philip Wadler,et al.  Packrat parsing:: simple, powerful, lazy, linear time, functional pearl , 2002, ICFP '02.

[9]  H. Toutenburg,et al.  Lehmann, E. L., Nonparametrics: Statistical Methods Based on Ranks, San Francisco. Holden‐Day, Inc., 1975. 480 S., $ 22.95 . , 1977 .

[10]  J.F.A.K. van Benthem,et al.  Logica voor informatica , 1991 .

[11]  Rachel Harrison.  The Use of Functional Languages in Teaching Computer Science , 1993, J. Funct. Program..

[12]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[13]  R. Harrison.  The use of functional programming languages in teaching computer science , 1993 .

[14]  Roger L. Wainwright,et al.  Introducing functional programming in discrete mathematics , 1992, SIGCSE '92.

[15]  Peter G. Harrison,et al.  Functional Programming , 1988 .

[16]  Klaas Gerrit van den Berg,et al.  Software measurement and functional programming , 1995 .

[17]  Jeroen J. G. van Merriënboer,et al.  Boekbespreking: "Th.J.M. Tromp - The acquisition of expertise in computer programming" , 1991 .

[18]  Edward Conjura,et al.  Integrating mathematics and programming into a three tiered model for computer science education , 1994, SIGCSE '94.

[19]  James L. Hein.  A declarative laboratory approach for discrete structures, logic, and computability , 1993, SGCS.

[20]  David Lorge Parnas,et al.  Education for computing professionals , 1990, Computer.

[21]  Rocky L. Stewart,et al.  Biosphere 2 nerve system , 1991, CACM.