It is widely attested that university students face considerable difficulties with reasoning in analysis, especially when dealing with statements involving two different quantifiers. We focus in this paper on a specific mistake which appears in proofs where one applies twice or more a statement of the kind "for all X, there exists Y such that R(X,…

In most mathematics problem solving work, students' motivation comes from trying to please their teachers or to earn a good grade. The questions students must tackle are almost never generated by their own interest. Seven open-ended college algebra-level problems are presented in which the solution of one question suggests other related questions.…

College students who were either monolingual speakers of English or bilingual Hispanics participated in two studies dealing with the comprehension of sentences containing negations. Both the influence of different sentence constructions on comprehension, as well as the heuristics and misconceptions exhibited by subjects as they attempted to…

This document argues that qualitative graphing is an effective introduction to mathematics as a construction for communication of ideas involving quantitative relationships. It is suggested that with little or no prior knowledge of Cartesian coordinates or analytic descriptions of graphs using equations students can successfully grasp concepts of…

This paper explores the role of instructional scaffolding in the development of undergraduate students' understanding of mathematical proof during a one-year discrete mathematics course. We describe here the framework adapted for the analysis of whole-class discussion and examine how the teacher scaffolded students' thinking. Results suggest that…

Presented is a combinatorial problem based on the Hash House Harriers rule which states that the route of the run should not have previously been traversed by the club. Discovered is how many weeks the club can meet before the rule has to be broken. (KR)

This paper reports on the mathematical thinking of participants of a long-term study, now in its 17th year, who did mathematics together through their public school and early university years. In particular, it describes how fundamental ideas and images of a cohort group of students are elaborated and presented in symbolic expressions of…

I discuss an instructional model that I have used in my number theory classes. Facets of the model include using small group work and whole class discussion, having students generate examples and counterexamples, and giving students the opportunity to write proofs and make conjectures in class. The model is designed to actively engage students in…

Mathematics is usually seen as a field in which there is value-free. Such a situation causes only a few studies about values teaching to be done in mathematics education. But, mathematics is a field that has various values in it, and that must be considered seriously from this perspective. Values are taught implicitly rather than explicitly in…

Described are several programs that enable the user to evaluate derivatives to order n of any elementary function by using the combination of automatic differentiation method and A Programming Language (APL). Programs calculating first- and higher-order derivatives are presented. Selected APL symbols are appended. (YP)

Computer algebra methods based on results of commutative algebra like Groebner bases of ideals and elimination of variables make it possible to solve complex, elementary and non elementary problems of geometry, which are difficult to solve using a classical approach. Computer algebra methods permit the proof of geometric theorems, automatic…

The paper's aim is to note a remarkable (and apparently unknown) relation for right triangles, its generalisation to arbitrary triangles and the possibility to derive these and some related relations by elimination using Groebner basis computations with a modern computer algebra system. (Contains 9 figures.)

A mathematician's work consists of proving theorems, calculating, and making mathematics understandable. An assistant for all three components is a Computer Algebra System. We describe and discuss various CAS-assisted processes for proving theorems, and discuss the constraints which can appear regarding efficiency, confidence in the result and…

Explains a new way of viewing Bayes' formula. Discusses the revision factor and its interpretation. (YP)

This thesis describes the design, development, implementation, and evaluation of a training module to instruct graduate foreign students to learn the representation of the binary system and the method of decimal-binary conversion. The designer selected programmed instruction as the method of instruction and used the "lean" approach to…