LASH
发表于 2025-3-30 09:36:17
http://reply.papertrans.cn/47/4698/469792/469792_51.png
Digitalis
发表于 2025-3-30 16:13:54
Computer Aided Proofs in School Geometry,overcome. Experiments with ‘intelligent’ logicials for pupil-aid in geometry, are described here. They are based on research into mathematical teaching and pupil learning patterns, and provide information on pupil spontaneous reasoning applied to geometry.
Indolent
发表于 2025-3-30 16:56:31
http://reply.papertrans.cn/47/4698/469792/469792_53.png
Anticlimax
发表于 2025-3-30 22:32:04
Socratic Tutoring with Software: An Example and a Prospectus,em as it is being solved. The generated graph then allows a microcomputer-based tutor to guide a student in traversing any logically permissible path through the space of semantic relations of the problem situation. The generalizability of this approach to ICAI in geometry and other mathematical domains is discussed.
surrogate
发表于 2025-3-31 03:44:29
Complex Factors of Generalization Within a Computerized Microworld: The Case of Geometry, and relationships of points, lines, angles, surfaces, and solids; and 2) to teach students deductive reasoning by exposing them to classical Euclidian geometry, the archetype deductive system. Most geometry courses come up short on both counts.
枕垫
发表于 2025-3-31 05:36:33
http://reply.papertrans.cn/47/4698/469792/469792_56.png