{"title":"知识库技术在教育中的应用:一个几何定理证明器","authors":"M. Hadzikadic, F. Lichtenberger, D. Yun","doi":"10.1145/32439.32468","DOIUrl":null,"url":null,"abstract":"1. IntnniuctIon The first time that a student is exposed to formal mathematical proofs normally happens during a high school geometry course. it is well known that this topic causes significant difficulties for both teachers and students. According to [Hoffer 811, geometry is usually rated as the least liked of all subjects. Although proofs are all but welcomed in high school mathematics, it is generally recognized that an understanding of the basic principles underlying mathematical proofs is essential for the development of higher mathematical and logical skiHs.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"45 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"An application of knowledge-base technology in education: a geometry theorem prover\",\"authors\":\"M. Hadzikadic, F. Lichtenberger, D. Yun\",\"doi\":\"10.1145/32439.32468\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"1. IntnniuctIon The first time that a student is exposed to formal mathematical proofs normally happens during a high school geometry course. it is well known that this topic causes significant difficulties for both teachers and students. According to [Hoffer 811, geometry is usually rated as the least liked of all subjects. Although proofs are all but welcomed in high school mathematics, it is generally recognized that an understanding of the basic principles underlying mathematical proofs is essential for the development of higher mathematical and logical skiHs.\",\"PeriodicalId\":314618,\"journal\":{\"name\":\"Symposium on Symbolic and Algebraic Manipulation\",\"volume\":\"45 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1986-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Symposium on Symbolic and Algebraic Manipulation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/32439.32468\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Symposium on Symbolic and Algebraic Manipulation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/32439.32468","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An application of knowledge-base technology in education: a geometry theorem prover
1. IntnniuctIon The first time that a student is exposed to formal mathematical proofs normally happens during a high school geometry course. it is well known that this topic causes significant difficulties for both teachers and students. According to [Hoffer 811, geometry is usually rated as the least liked of all subjects. Although proofs are all but welcomed in high school mathematics, it is generally recognized that an understanding of the basic principles underlying mathematical proofs is essential for the development of higher mathematical and logical skiHs.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
