Why Proof Planning for Maths Education and How?
暂无分享,去创建一个
[1] E. Melis,et al. Automated Proof Planning for Instructional Design , 2001 .
[2] J. Frederiksen,et al. Inquiry, Modeling, and Metacognition: Making Science Accessible to All Students , 1998 .
[3] Alan H. Schoenfeld,et al. Mathematical Problem Solving , 1985 .
[4] Paolo Boero,et al. Some dynamic mental processes underlying producing and proving conjectures , 1996 .
[5] Uri Leron,et al. Learning abstract algebra with ISETL , 1993 .
[6] J. Baumert. TIMSS : Mathematisch-naturwissenschaftlicher Unterricht im internationalen Vergleich , 1997 .
[7] P. Schmidt. Preparing Oral Examinations of Mathematical Domains with the Help of a Knowledge-Based Dialogue System , 2001 .
[8] Erica Melis,et al. AI-Techniques in Proof Planning , 1998, ECAI.
[9] Frank van Harmelen,et al. Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs , 1990, CADE.
[10] Robert S. Boyer,et al. Computer Proofs of Limit Theorems , 1971, IJCAI.
[11] Uri Leron. Heuristic Presentations: The Role of Structuring. , 1985 .
[12] Erica Melis. The "Limit" Domain , 1998, AIPS.
[13] Vincent Aleven,et al. Tutoring Answer Explanation Fosters Learning with Understanding , 1999 .
[14] K. Holyoak,et al. Learning subgoals and methods for solving probability problems , 1990, Memory & cognition.
[15] Uri Leron,et al. An Abstract Algebra Story. , 1995 .
[16] James F. Allen,et al. TRAINS-95: Towards a Mixed-Initiative Planning Assistant , 1996, AIPS.
[17] Helen Lowe,et al. XBarnacle: Making Theorem Provers More Accessible , 1997, CADE.
[18] D. Suthers,et al. Belvedere: Engaging students in critical discussion of science and public policy issues. , 1995 .
[19] Wouter van Joolingen,et al. Design and implementation of simulation-based discovery environments: the SMISLE solution , 1996 .
[20] William McCune,et al. Automated Deduction—CADE-14 , 1997, Lecture Notes in Computer Science.
[21] Robert Gardner,et al. Introduction To Real Analysis , 1994 .
[22] Martin A. Simon. Beyond inductive and deductive reasoning: The search for a sense of knowing , 1996 .
[23] Matthew W. Lewis,et al. Self-Explonations: How Students Study and Use Examples in Learning to Solve Problems , 1989, Cogn. Sci..
[24] Susanne P. Lajoie,et al. Computers As Cognitive Tools , 2020 .
[25] A. Newell. The heuristic of George Polya and its relation to artificial intelligence , 1981 .
[26] L. Vygotsky,et al. Thought and Language , 1963 .
[27] Alan Bundy,et al. The Use of Proof Planning for Co-operative Theorem Proving , 1998, J. Symb. Comput..
[28] A. Schoenfeld. Learning to Think Mathematically: Problem Solving, Metacognition, and Sense Making in Mathematics (Reprint) , 2009 .
[29] Bund-Länder-Kommission für Bildungsplanung und Forschungsförderung,et al. Gutachten zur Vorbereitung des Programms "Steigerung der Effizienz des mathematisch-naturwissenschaftlichen Unterrichts" , 1998 .