Wednesday, March 23
5:30 PM-7:00 PM
EDT
Harborside Center

Web-based Application to Aid the Learning of Mathematical Proofs Using Logical Diagrams and Its Potential

Poster/Demo ID: 49029
  1. aaa
    Yoshinori Miyazaki
    Shizuoka University

Abstract: The author developed a web-based application tool to help create mathematical proofs using logical diagrams in a tabular format. In the proposed method, we first verified the usefulness of the diagrammatization proposed in our previous study, and then proposed a web-based application tool that visualizes the process of applying inferences in proofs. Teachers and learners are asked to fill in relevant items into a tabular format to create diagrams illustrating mathematical proofs. This application automatically produces a diagram after a table is filled in with information on propositions, comments, and their relations (links). Another attempt for the updated version in the future is the implementation of GUI-based web application that can also store user logs including mouse trajectories to analyze their behaviors.

Presider: Mehmet Ali Ozer, New Mexico State University

Topics

Conference attendees are able to comment on papers, view the full text and slides, and attend live presentations. If you are an attendee, please login to get full access.
x