SetPad: a sketch-based tool for exploring discrete math set problems
Travis J. Cossairt, Joseph J. LaViola · 2012
We present SetPad, a new application prototype that lets computer science students explore discrete math problems by sketching set expressions using pen-based input. Students can manipulate the expressions interactively with the tool via pen or multi-touch interface. Likewise, discrete mathematics instructors can use SetPad to display and work through set problems via a projector to better demonstrate the solutions to the students. We discuss the implementation and feature set of the application, as well as results from both an informal perceived usefulness evaluation for students taking a computer science foundation exam in addition to a formal user study measuring the effectiveness of the tool when solving set proof problems. The results indicate that SetPad was well received, allows for efficient solutions to proof problems, and has the potential to have a positive impact when used as as an individual student application or an instructional tool. iii ACKNOWLEDGMENTS This thesis has been supported by the patience and encouragement of my wife Amy. I would also like to thank my father Mikel and my mother Margery for their support during both my undergraduate and graduate studies. Special thanks to my brother Jacob for always challenging me academically and also to my friends and coworkers. My faculty advisor, Dr. Joseph LaViola, deserves praise for his constant guidance and support throughout my graduate experience. Likewise, I would like to thank the members of my committee, Dr. Charles Hughes, and Dr. Hassan Foroosh for their contributions. Finally, I would like to thank the past and present members of the Interactive Systems and User Experience lab for their help and feedback. iv TABLE OF CONTENTS