The Case Study of Theorema in Education Learning and Application

Tadashi TAKAHASHI, Takeshi SAKAI, Fumiya IWAMA, Tomohiro WASHINO

Abstract


In mathematics education, understanding the concepts of given domains in terms of conceptual and procedural knowledge is essential. We have developed a framework for case study of children studying mathematical logic and related concepts using the automated theorem proving software Theorema. Theorema allows the user to organize mathematical knowledge as hierarchies of interdependent theories. Here, we present a framework for exploring the different inference processes of children studying mathematical logic using the Theorema software’s automated proof generator.

Keywords


Mathematics education, ATP, Theorema


DOI
10.12783/dtssehs/seme2016/5423

Full Text:

PDF