You are here

SetPad: A Sketch-Based Tool For Exploring Discrete Math Set Problems

Download pdf | Full Screen View

Date Issued:
2012
Abstract/Description:
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.
Title: SetPad: A Sketch-Based Tool For Exploring Discrete Math Set Problems.
13 views
6 downloads
Name(s): Cossairt, Travis, Author
Laviola II, Joseph, Committee Chair
Foroosh, Hassan, Committee Member
Hughes, Charles, Committee Member
, Committee Member
University of Central Florida, Degree Grantor
Type of Resource: text
Date Issued: 2012
Publisher: University of Central Florida
Language(s): English
Abstract/Description: 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.
Identifier: CFE0004240 (IID), ucf:49507 (fedora)
Note(s): 2012-05-01
M.S.
Engineering and Computer Science, Electrical Engineering and Computer Science
Masters
This record was generated from author submitted information.
Subject(s): Discrete Mathematics -- Sets -- Proofs -- Algebra -- Stylus -- Pen -- Multi-Touch -- Sketch -- Gestures
Persistent Link to This Record: http://purl.flvc.org/ucf/fd/CFE0004240
Restrictions on Access: public 2012-05-15
Host Institution: UCF

In Collections