Basic proof skills of computer science students


Share/Save/Bookmark

Hartel, P.H. and Es, B. van and Tromp, Th.J.M. (1995) Basic proof skills of computer science students. In: 1st Functional Programming languages in Education, FPLE 1995, Nijmegen, The Netherlands. pp. 269-287. Springer-Verlag LNCS 1022 (pp. pp. 269-287).

open access
[img]
Preview
PDF
211kB
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 ldquowhat proof skills do our students have?rdquo. 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.
References
Item Type:Conference or Workshop Item
Copyright:©1995 Springer-Verlag
Link to this item:http://purl.utwente.nl/publications/55709
Official URL:http://dx.doi.org/10.1007/3-540-60675-0_50
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page