Uses small axiom systems to teach logic and reasoning to first year mathematics students. Incorporates a collaborative technique to train students to write formal arguments in a nonintimidating atmosphere by applying logic informally to small axiomatic systems. Provides examples of student-designed systems. (MDH)

Describes the Plane Geometry System computer software developed at the Educational Computer Systems laboratory in Sofia, Bulgaria. The system enables students to use the concept of "algorithm" to correspond to the process of "deductive proof" in the development of plane geometry. Provides an example of the software's capability…

Preservice elementary teachers worked cooperatively to explore the relationship between the measure of the central angle and the number of sides of regular polygons using the reflection of a line in a hinged mirror. The experience involved conjecture and experimentation, communication, and building connections between science, geometry, and…

The 1989 document, "Curriculum and Evaluation Standards for School Mathematics" (the "Standards"), provides a vision and a framework for revising and strengthening the K-12 mathematics curriculum in North American schools and for evaluating both the mathematics curriculum and students' progress. This book, one in a series…