Reports on a study of students learning the concepts of universal and existential quantification in undergraduate mathematics courses in which the instruction was based on previous research into what it means to understand this concept. Concludes that, as a result of making the computer constructions, students will tend to make more effective…

Describes a constructivist, interactive approach for teaching undergraduate mathematics, abstract algebra in particular, using computer constructions programmed in ISETL to induce students' mental constructions and collaborative learning to help students reflect on these constructions. (18 references) (MKR)