论文信息 - Creating and evaluating interactive formal courseware for mathematics and computing

Creating and evaluating interactive formal courseware for mathematics and computing

The application of the the Nupri proof development system to the teaching of college-level mathematics is explored. The advantages of this method include the flexibility to accommodate the needs of students with very diverse backgrounds and the creation of an environment that encourages collaborative learning.

Robert L. Constable | R. Constable

[1] Herbert A. Simon,et al. Problem solving and education. , 1980 .

[2] Newcomb Greenleaf. Bringing Mathematics Education into the Algorithmic Age , 1991, Constructivity in Computer Science.

[3] Rance Cleaveland,et al. Implementing mathematics with the Nuprl proof development system , 1986 .

[4] Albert T. Corbett,et al. Intelligent Tutoring Systems , 1985, Science.

[5] Imre Lakatos,et al. On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery) , 1977 .

[6] Allen Newell,et al. Human Problem Solving. , 1973 .

[7] J. Confrey. A Review of the Research on Student Conceptions in Mathematics, Science, and Programming , 1990 .

[8] Patrick Suppes,et al. University-level computer-assisted instruction at Stanford: 1975 , 1977 .

[9] I. Lakatos,et al. Proofs and Refutations: Frontmatter , 1976 .

[10] Robert L. Constable,et al. Proofs as programs , 1985, TOPL.

[11] John R. Anderson,et al. Cognitive principles in the design of computer tutors , 1984 .

[12] Daniel P. Huttenlocher,et al. Shared annotation for cooperative learning , 1995, CSCL.

[13] A. M. White. The Process of Education , 1994 .

[14] C. Pollard,et al. Center for the Study of Language and Information , 2022 .