Describes a study designed to address the difficulties computer science undergraduates have in learning formal reasoning methods. Computer-based tools providing a mixture of graphical and textual on-screen help were evaluated, and results indicate the tools had a positive effect on the learning process. (Author/LRW)

As part of an investigation of the effectiveness of a microcomputer-based laboratory (MBL) activity in developing students' graphing skills, this study was specifically designed to examine the differences between females and males in both performance on graphing tasks and on their attitudes to graphs and graph-based activities. Results based on a…