151. The Case Study of Theorema in Education Learning and Application
- Author
-
Takeshi Sakai, Tadashi Takahashi, Fumiya Iwama, and Tomohiro Washino
- Subjects
Mathematical logic ,biology ,Programming language ,Computer science ,business.industry ,media_common.quotation_subject ,Inference ,biology.organism_classification ,computer.software_genre ,Procedural knowledge ,Machine learning ,Interdependence ,Automated theorem proving ,Software ,Theorema ,Artificial intelligence ,business ,computer ,Generator (mathematics) ,media_common - 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.
- Published
- 2017